pdidev / pdi

The PDI Data Interface
https://pdi.dev
BSD 3-Clause "New" or "Revised" License
6 stars 0 forks source link

PDI with zsh: environment variables are not set correctly #434

Closed jbigot closed 2 months ago

jbigot commented 1 year ago

In GitLab by @fxmordant on May 17, 2023, 10:57

sourcing /path/pdi/install/share/pdi/env.bash does not set correctly the PDI_DIR variable, therefore all commands relying on it misbehaves.

in zsh:

$ unset PDI_DIR
$ source /path/pdi/install/share/pdi/env.bash
$ echo $PDI_DIR
PDI_DIR : /path

in bash (expected behaviour) :

$ unset PDI_DIR
$ source /path/pdi/install/share/pdi/env.bash
$ echo $PDI_DIR
PDI_DIR : /path/pdi/install
jbigot commented 1 year ago

In GitLab by @fxmordant on May 17, 2023, 16:00

mentioned in commit ca4ba14d422b84f90b814895edb3c57c89162070

jbigot commented 2 months ago

In GitLab by @fxmordant on Aug 4, 2024, 18:39

mentioned in commit 259c4b9c04231c9d5c57504b520eaf23a6ea14fd