4 ms·

Interactive search/filter bar: Alt+F

• fixermark 10y ago
  ... which doesn't hide the uninteresting context around the commands in question, and doesn't cluster the commands with the same text together for convenient viewing.
• paradite 10y ago
  Why not curl | grep?
  • TeMPOraL 10y ago
    Frankly, a lot of websites would be infinitely more useful if they were curl | grep friendly. It's like current generation doesn't realize that it is technically possible to fetch valuable information you need efficiently from the Internet - one just has to not make it insanely difficult on purpose.