From c3f76cff6b31f07ebf67b87baf4dc364aee76355 Mon Sep 17 00:00:00 2001 From: Florian Pritz Date: Tue, 20 Oct 2009 21:57:01 +0200 Subject: zshrc: remove ancient/broken update_zshrc function Signed-off-by: Florian Pritz --- .zshrc | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/.zshrc b/.zshrc index 8929e8c..fb92c48 100644 --- a/.zshrc +++ b/.zshrc @@ -238,19 +238,6 @@ rc() { sudo /etc/rc.d/$1 $2 } -# usefull if you have more machines and want to easily update the config here -update_zshrc() { - old_pwd="$PWD" - builtin cd "$HOME/.zsh" - wget http://flo.server-speed.net/stuff/dotfiles/zshrc -O $HOME/.zshrc - wget http://flo.server-speed.net/stuff/dotfiles/zsh/filelist -O /tmp/zsh_filelist - wget -B "http://flo.server-speed.net/stuff/dotfiles/zsh/" -i /tmp/zsh_filelist -x --cut-dirs=3 -nH - rm /tmp/zsh_fileslist - rm **/index.html - builtin cd "$old_pwd" - exec zsh -} - # add current time to a file mbk() { mv -b "${1}" "$(echo $1 | sed -r "s/(.*)(\.|$)(.*)/\1_`date +%Y-%m-%d_%T`\2\3/")" -- cgit v1.2.3-24-g4f1b