How to setup BASH custom prompt in Ubuntu I wanted two things: the time in my prompt a colour prompt Basics: it’s located in: ~/.bashrc uses Environment Variable: PS1 time is inserted using: \t time I started here: http://www.cyberciti.biz/tips/howto-linux-unix-bash-shell-setup-prompt.html colour http://www.cyberciti.biz/faq/bash-shell-change-the-color-of-my-shell-prompt-under-linux-or-unix/ PixelBeat discussion on coloured command prompts http://www.pixelbeat.org/docs/terminal_colours/ how to guid for customing the command prompt […]
For vdevs in zpools, the optimal number of redundant drives can be calculated by the attached table.
I did this in several steps: create an md5 dump of the files system in question. For this I used my favourite command line tool `md5deep`, sort the file based on file size then md5 hash (sorted from largest to smallest), and remove entries that are not duplicate entries. Although this could be completed in […]
Don’t lose a teeny weeny surface mount resistor on a board full of teeny weeny surface mount resistors (and other components).
Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo, apparently
When the government brought in the Opal card, commuters were set to save. At least, that’s what they told us.
Google Webfonts vs Font Squirrel http://the-27th-comrade.appspot.com/blog/ahJzfnRoZS0yN3RoLWNvbXJhZGVyDQsSBUVudHJ5GOHXAgw/ https://www.google.com/fonts http://www.fontsquirrel.com/tools/webfont-generator
This is here because I want to look at it… I currently use Coda (a paid solution) and I like it, but I do love open source stuff. Not that I’ve ever looked at the source or (heaven forbid) modified the source, but I love the fact that I could if I wanted to!
Now this doesn’t look overly hard to make, but maybe hard to make and make it look good as this guy has done here. Are there any tools he doesn’t have?
I’m currently analysing some data that includes birth dates. If the persons birthday isn’t known, there is a flag which indicates it’s an estimate, and the day and month are set to one. New Year’s Day. Obviously the dataset indicates there are a lot of people born on the first of the first, and I’m […]