Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
further "unset CDPATH", whenever a new non-interactive bash is started (see also ac07f6be27ea);
authorwenzelm
Sun, 23 May 2021 21:03:32 +0200
changeset 73773 ac7f41b66e1b
parent 73772 6b4c47666267
child 73774 734d5d3fbd9d
further "unset CDPATH", whenever a new non-interactive bash is started (see also ac07f6be27ea);
lib/scripts/getfunctions file | annotate | diff | comparison | revisions 
--- a/lib/scripts/getfunctions	Sun May 23 20:34:43 2021 +0200
+++ b/lib/scripts/getfunctions	Sun May 23 21:03:32 2021 +0200
@@ -6,6 +6,8 @@
 # non-interactive bash processess. NB: bash shell functions are not portable
 # and may be dropped by aggressively POSIX-conformant versions of /bin/sh.
 
+unset CDPATH
+
 if type splitarray >/dev/null 2>/dev/null
 then
   :
isabelle