Bug fix: support for absolute path names in traversing ROOTS info.
This commit is contained in:
parent
3eb07b516b
commit
3fc0a869c3
|
@ -72,7 +72,7 @@ isabelle-list-sessions() {
|
||||||
roots=("${(f)roots}")
|
roots=("${(f)roots}")
|
||||||
for d in $roots; do
|
for d in $roots; do
|
||||||
d="${d//\"/}" #"
|
d="${d//\"/}" #"
|
||||||
isabelle-list-sessions "$d"
|
isabelle-list-sessions "$dir/$d"
|
||||||
done
|
done
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue