Multiple minor changes
This commit is contained in:
10
zshrc
10
zshrc
@@ -141,6 +141,16 @@ RPROMPT='`rprompt-git-current-branch`'
|
||||
RPROMPT+="%{$fg[yellow]%}%~%{$reset_color%}"
|
||||
RPROMPT+=' `cabal_sandbox_info`'
|
||||
|
||||
function ghc-pkg-reset() {
|
||||
read 'ans?erasing all your user ghc and cabal packages - are you sure (y/n) ? '
|
||||
if [[ "$ans" =~ ^[Yy]$ ]] ; then
|
||||
echo 'erasing directories under ~/.ghc'; rm -rf `find ~/.ghc -maxdepth 1 -type d`; \
|
||||
echo 'erasing ~/.cabal/lib'; rm -rf ~/.cabal/lib; \
|
||||
# echo 'erasing ~/.cabal/packages'; rm -rf ~/.cabal/packages; \
|
||||
# echo 'erasing ~/.cabal/share'; rm -rf ~/.cabal/share; \
|
||||
fi
|
||||
}
|
||||
|
||||
extract(){
|
||||
if [ -f $1 ] ; then
|
||||
case $1 in
|
||||
|
Reference in New Issue
Block a user