Diffusion Isabelle ac07f6be27ea

avoid unexpected output+behaviour when CDPATH is set
ac07f6be27ea
Actions

Tags

None

Subscribers

None

Description

avoid unexpected output+behaviour when CDPATH is set

Details

Provenance

Authored on

Parents

rISABELLE7c7a59b76528: recover some Linux test, using old macbroy2 as i21of4 (Ubuntu 20.04);

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rISABELLEac07f6be27ea: avoid unexpected output+behaviour when CDPATH is set.May 17 2021, 5:57 AM

makarius mentioned this in rISABELLEac7f41b66e1b: further "unset CDPATH", whenever a new non-interactive bash is started (see….May 23 2021, 9:16 PM

Changes (12)

Path

Size

Admin/

Isabelle_app/

bash_process/

cronjob/

bin/

isabelle_scala_script

src/

Tools/

Metis/

fix_metis_license

rISABELLEac07f6be27ea

Admin/Isabelle_app/build

Loading...

Admin/bash_process/build

Loading...

Admin/build

Loading...

Admin/build_history

Loading...

Admin/build_release

Loading...

Admin/cronjob/main

Loading...

Admin/init

Loading...

bin/isabelle

Loading...

bin/isabelle_java

Loading...

bin/isabelle_scala_script

Loading...

src/Tools/Metis/fix_metis_license

Loading...

src/Tools/Metis/make_metis

Loading...