Added support for ROOTS file in isabelle-list-sessions().
This commit is contained in:
parent
149bb0bc1d
commit
3eb07b516b
|
@ -66,7 +66,14 @@ isabelle-list-sessions() {
|
||||||
done
|
done
|
||||||
print -l $accum
|
print -l $accum
|
||||||
fi
|
fi
|
||||||
if [[ -f ROOTS ]]; then
|
if [[ -f "$dir/ROOTS" ]]; then
|
||||||
|
roots="$(<$dir/ROOTS)"
|
||||||
|
roots=$( isabelle-strip-comments "$roots" )
|
||||||
|
roots=("${(f)roots}")
|
||||||
|
for d in $roots; do
|
||||||
|
d="${d//\"/}" #"
|
||||||
|
isabelle-list-sessions "$d"
|
||||||
|
done
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue