If you don't want to manually tag each directory, I'd suggest autojump (https://github.com/wting/autojump). It'll automatically track visited directories.
You're probably thinking of http://coccinelle.lip6.fr/sp.php?
If you don't want to manually tag each directory, I'd suggest autojump (https://github.com/wting/autojump). It'll automatically track visited directories.
You're probably thinking of http://coccinelle.lip6.fr/sp.php?