From fa80fdd2ace37f14ecf7c75e5f3cbc10b4855fd4 Mon Sep 17 00:00:00 2001 From: Loic Nageleisen Date: Mon, 13 Aug 2012 15:51:59 +0200 Subject: [PATCH] useless code --- home/profile | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/home/profile b/home/profile index ba67e1f..8128fa5 100644 --- a/home/profile +++ b/home/profile @@ -1,15 +1,5 @@ ## .profile -# utility functions - -path_append () { - PATH="$PATH:$1" -} - -path_prepend () { - PATH="$1:$PATH" -} - # load all shell files for file in ~/.dotfiles/shell/*; do [[ -x $file ]] && source $file