Search found 1 match

Go to advanced search

by EEEDDD
Mon Sep 18, 2017 11:22 am
Forum: Tips & Tricks by users (not for help)
Topic: Help for hard-to-remember terminal commands...
Replies: 4
Views: 3734

Re: Help for hard-to-remember terminal commands...

I think that using " Marker " is a good tip. I can't live without it ( https://github.com/pindexis/marker )
Marker is a command palette for the terminal. It lets you bookmark commands (or commands templates) and easily retreive them with the help of a real-time fuzzy matcher. It's also shipped with ...

Go to advanced search