Przeglądaj źródła

fix pushd

pull/1/head
10sr 12 lat temu
rodzic
commit
6e4cbf22c3
1 zmienionych plików z 2 dodań i 2 usunięć
  1. +2
    -2
      bashrc

+ 2
- 2
bashrc Wyświetl plik

@@ -231,8 +231,8 @@ cd(){
}

pushd(){
local next="$(realpath "$1")"
for l in $(\dirs -v -l | \grep "^ [0-9]\+ *${next}$" | cut -d " " -f 2 | tac)
local next="$(realpath --no-symlinks "$1")"
for l in $(\dirs -v -l | \grep "^ *[0-9]\+ \+${next}$" | \grep -o "^ *[0-9]\+ " | tac)
do
echo $l
test $l -eq 0 && continue


Ładowanie…
Anuluj
Zapisz