http://demod.org/ Fri, 10 Sep 2010 14:33:22 +0200 FeedCreator 1.7.2-ppt DokuWiki http://demod.org/lib/images/favicon.ico http://demod.org/ http://demod.org/blog/2008/07/shutting_down_your_workstation Ever wanted to shutdown your workstation and confused some random $xterm with an ssh-session and one with a local shell? Still want to use your pretty shell color scheme on all your accounts anyway? Look no further. After managing to shutdown the wrong machine once or twice a year I finally took the time to build some visual safeguards into my ZSH. sh zsh quick_and_dirty Sat, 06 Dec 2008 17:39:59 +0200 http://demod.org/blog/2008/07/staying_sane_with_rsi Some time ago I suffered from a bad case of wp>Repetitive Strain Injury (RSI) which german doctors usually diagnose as wpde>Sehnenscheidenentzündung or Tendovaginitis/Tenosynovitis. Not being able to normally use a computer or my hands for a prolonged period of time gave me plenty of opportunity to think about how to improve my situation (and how to stay sane). After going through this I figured I might as well share which tools I bought as a result of that thought process. Health RSI Sat, 06 Dec 2008 17:40:10 +0200