Parcourir la source

Merge branch 'master' of github.com:10sr/dotfiles

Conflicts:
	bashrc
pull/1/head
10sr il y a 12 ans
Parent
révision
1019ed1ac3
1 fichiers modifiés avec 7 ajouts et 6 suppressions
  1. +7
    -6
      bashrc

+ 7
- 6
bashrc Voir le fichier

@@ -216,15 +216,16 @@ cd(){
if test $# -eq 0
then
pushd ~/ >/dev/null
elif test $1 = -
then
local pwd="$PWD"
echo $OLDPWD
command cd $OLDPWD
command pushd -n "$pwd" >/dev/null # stack last dir
elif ! test -d "$1"
then
echo `basename ${SHELL}`: cd: "$1": No such file or directory 1>&2
return 1
elif test "$1" = -
then
local pwd="$PWD"
popd >/dev/null
pushd -n "$pwd" >/dev/null # stack last dir
else
pushd "$1" >/dev/null
fi
@@ -238,7 +239,7 @@ pushd(){
test $l -eq 0 && continue
popd +$l -n
done
command pushd "$1" >/dev/null
command pushd "$@" >/dev/null
}

input(){


Chargement…
Annuler
Enregistrer