Follow-up from "Fix for #434; zsh : env variables were not set correctly" #436

Closed jbigot closed 2 months ago

In GitLab by @fxmordant on May 22, 2023, 14:59

The following discussion from !437 should be addressed:

[x] @jbigot started a discussion:

maybe add a fallback if neither zsh nor bash (just a message saying the shell is not supported and bypassing the rest of the file)

In GitLab by @fxmordant on May 22, 2023, 15:00

mentioned in commit 738d2b0141ee2942f02fc7aca585e27449bab19c

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

mentioned in commit 259c4b9c04231c9d5c57504b520eaf23a6ea14fd

pdidev / pdi