This being the 2,38947234th and probably last time I’ll change my username, (marriage is permanent, right?) I thought I’d better write a quick post on how this transition can be achieved as smoothly as possible. You can read official instructions on how to change your GitHub username …
I think you can learn more about someone’s true character from their Audible library than their Twitter feed.
Add the current git branch to your bash prompt! In .bashrc:
parse_git_branch() {
git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/(\1)/'
}
if [ "$color_prompt" = yes ]; then
PS1='${debian_chroot:+($debian_chroot)}\[\033[0;1;38;5;247m\]> …New rule: if non-critical item sits on the to-do list for more than three days, delete it.
Confession: I only buy Altoids mints when I need to store something tiny.
Big decisions are really just the sum of the many little decisions that were made before them.
On a scale of 1-3, how familiar are you with protocol buffers?
reserved 1;
reserved "i_dont_get_it";
int32 basic_familiarity = 2;
int32 these_should_be_enums = 3;
Today on Getting Totally Sidetracked with Linux Commands, a one-liner that prints all subdirectories without a .git in them:
find . -maxdepth 1 -type d -exec test '!' -e '{}/.git' ';' -printf "not git repo: %p\n"
With a little help from https://unix.stackexchange.com/questions/525534/
Turns out humans also have artificial intelligence. It looks like we all know how to succeed on our own but most of the time we’re just referencing past examples.
It’s a big, wonderful, dangerous, and important world out there… but today, I am really excited for just one comparatively little, relatively short, but singularly important thing that will hopefully happen tomorrow.