Customizing your Bash shell prompt
2018-07-06In this article I look at customizing your Bash shell prompt.
Filed in: Tools (Useful command line tools, applications, and shell)![](/images/cats/pool.png)
Don't forget to flush!
2017-10-07On solving a mysterious problem in a CGI web app.
Filed in: Tools (Useful command line tools, applications, and shell)![](/images/cats/pool.png)
Intro to Ngrok
2018-04-13A quick intro to the wonders of Ngrok.
Filed in: Tools (Useful command line tools, applications, and shell)![](/images/cats/pool.png)
Exploring HTTP
2019-11-21A brief exploration of HTTP and the tool HTTPie.
Filed in: Tools (Useful command line tools, applications, and shell)![](/images/cats/pool.png)
Don't forget the Unix tools
2017-10-04There are times when the best approach is not to reinvent the wheel but use the numerous command line tools available in Unix.
Filed in: Tools (Useful command line tools, applications, and shell)![](/images/cats/pool.png)
Spreadsheets everywhere
2017-10-20On the phenomenon of the spreadsheet that starts out innocently enough and then becomes an out-of-control beast.
Filed in: Tools (Useful command line tools, applications, and shell)![](/images/cats/pool.png)
Limits of Markdown
2017-11-24In which I discuss the limitations of Markdown when constructing websites and documentation systems.
Filed in: Tools (Useful command line tools, applications, and shell)![](/images/cats/pool.png)