|
|
|
|
|
by dmortin
2163 days ago
|
|
Yeah, it's not really worth it. Your home directory should be indexed anyway (along with other interesting directories), so you should be able to simply quickly switch to any file in the index, regardless if it's open or not, using your favorite solution for this (Helm, etc.) This makes bookmarking files pretty pointless, since all your interesting files are instantly available anytime with completion regardless of the current directory. |
|