All articles tagged as:

Local stuff

PDFs from man pages

This is an old post. It may contain broken links and outdated information. I'm constantly consulting man pages as I blunder about in bash, and a way to quickly reference man pages while in the middle of something else is very valuable to me. The easiest way, at least for me, is to have the man pages saved somewhere so that I can consult them without breaking away from whatever deep shell-fu I'm immersed in. There's a quick way to convert man pages into PDFs on OS X, and a slightly different but similarly quick way to do the same thing on Ubuntu. The OS X way first, since it doesn't require any…

Read some more »

Easy PS1 colors

This is an old post. It may contain broken links and outdated information. Some time back I found a nifty little function to nicely and neatly add color to my bash prompt, and to do so in a readable and easily editable way. I forget the site where I originally saw the function, so I apologize to its author for displaying it here without attribution, but it's certainly made my life easier; I have my prompt set to display the time, the user name and host name where I'm logged in, the directory I'm in, and the root/other token. I'm a visual kind of guy, too, so I alter the user/hostname so that…

Read some more »