links in terminal
Each line in the Terminal is actually a <div>.
Add some magic to convert URLs and file-names to click-able links. URLs are easy to detect, but file-names and paths maybe not? One would probably need to check all tokens against a list of files in the current directory. Anyway, it would be cool to be able to click on them and the file opens.
On Fri, Feb 21, 2014 at 11:12 AM, Harald Schilly [email protected]:
Each line in the Terminal is actually a
.Add some magic to convert URLs and file-names to click-able links. URLs are easy to detect, but file-names and paths maybe not? One would probably need to check all tokens against a list of files in the current directory. Anyway, it would be cool to be able to click on them and the file opens.
This needs to be configurable, since OS X's (or maybe Konsole in KDE's) terminal app has an option to do exactly the above, and I turned it on since I thought it would be awesome. It ended up causing me endless trouble when doing copy/paste, so I had to turn it off. However, obviously it would be good for a lot of people... and probably quite easy to implement.
- William
William Stein Professor of Mathematics University of Washington http://wstein.org