Joined August 2011
·

nemec

TX
·
·

Posted to Your own Git server over 1 year ago

That's probably the exact same reason why you login to Github using the git user rather than your own account.

Posted to Get external IP with CLI over 1 year ago

For just the IP I prefer http://icanhazip.com ;)

Pushd is good if you're thinking ahead, but not everyone does that ;)
I suppose you could alias cd to pushd since they do pretty much the same thing.

@plukevdh, you can do that in bash with alias -- -="cd - >/dev/null"

Achievements
140 Karma
0 Total ProTip Views