Skip to content
Snippets Groups Projects
Verified Commit 31cf53ec authored by Olivier Benz's avatar Olivier Benz
Browse files

Dev Containers: Update onCreateCommand

- Separate PATH handling for Zsh and Bash
parent f11e2793
No related branches found
No related tags found
No related merge requests found
...@@ -38,15 +38,23 @@ else ...@@ -38,15 +38,23 @@ else
fi fi
# Set PATH so it includes user's private bin if it exists # Set PATH so it includes user's private bin if it exists
if ! grep -q "user's private bin" "$HOME/.bashrc"; then
echo -e "\nPATH=\"\${PATH%:\$HOME/.local/bin}\"" >> "$HOME/.bashrc";
echo -e "\n# set PATH so it includes user's private bin if it exists\nif [ -d \"\$HOME/bin\" ] && [[ \"\$PATH\" != *\"\$HOME/bin\"* ]] ; then\n PATH=\"\$HOME/bin:\$PATH\"\nfi" >> "$HOME/.bashrc";
echo -e "\n# set PATH so it includes user's private bin if it exists\nif [ -d \"\$HOME/.local/bin\" ] && [[ \"\$PATH\" != *\"\$HOME/.local/bin\"* ]] ; then\n PATH=\"\$HOME/.local/bin:\$PATH\"\nfi" >> "$HOME/.bashrc";
fi
if ! grep -q "user's private bin" "$HOME/.zshrc"; then if ! grep -q "user's private bin" "$HOME/.zshrc"; then
echo -e "\nPATH=\"\${PATH%:\$HOME/.local/bin}\"" | tee -a "$HOME/.bashrc" "$HOME/.zshrc" >/dev/null; echo -e "\nPATH=\"\${PATH%:\$HOME/.local/bin}\"" >> "$HOME/.zshrc";
echo -e "\n# set PATH so it includes user's private bin if it exists\nif [ -d \"\$HOME/bin\" ] && [[ \"\$PATH\" != *\"\$HOME/bin\"* ]] ; then\n PATH=\"\$HOME/bin:\$PATH\"\nfi" | tee -a "$HOME/.bashrc" "$HOME/.zshrc" >/dev/null; echo -e "\n# set PATH so it includes user's private bin if it exists\nif [ -d \"\$HOME/bin\" ] && [[ \"\$PATH\" != *\"\$HOME/bin\"* ]] ; then\n PATH=\"\$HOME/bin:\$PATH\"\nfi" >> "$HOME/.zshrc";
echo -e "\n# set PATH so it includes user's private bin if it exists\nif [ -d \"\$HOME/.local/bin\" ] && [[ \"\$PATH\" != *\"\$HOME/.local/bin\"* ]] ; then\n PATH=\"\$HOME/.local/bin:\$PATH\"\nfi" | tee -a "$HOME/.bashrc" "$HOME/.zshrc" >/dev/null; echo -e "\n# set PATH so it includes user's private bin if it exists\nif [ -d \"\$HOME/.local/bin\" ] && [[ \"\$PATH\" != *\"\$HOME/.local/bin\"* ]] ; then\n PATH=\"\$HOME/.local/bin:\$PATH\"\nfi" >> "$HOME/.zshrc";
fi fi
# Set PATH so it includes cabal's bin if it exists # Set PATH so it includes cabal's bin if it exists
if ! grep -q "cabal's bin" "$HOME/.bashrc"; then
echo -e "\n# set PATH so it includes cabal's bin if it exists\nif [ -d \"\$HOME/.cabal/bin\" ] && [[ \"\$PATH\" != *\"\$HOME/.cabal/bin\"* ]] ; then\n PATH=\"\$HOME/.cabal/bin:\$PATH\"\nfi" >> "$HOME/.bashrc";
fi
if ! grep -q "cabal's bin" "$HOME/.zshrc"; then if ! grep -q "cabal's bin" "$HOME/.zshrc"; then
echo -e "\n# set PATH so it includes cabal's bin if it exists\nif [ -d \"\$HOME/.cabal/bin\" ] && [[ \"\$PATH\" != *\"\$HOME/.cabal/bin\"* ]] ; then\n PATH=\"\$HOME/.cabal/bin:\$PATH\"\nfi" | tee -a "$HOME/.bashrc" "$HOME/.zshrc" >/dev/null; echo -e "\n# set PATH so it includes cabal's bin if it exists\nif [ -d \"\$HOME/.cabal/bin\" ] && [[ \"\$PATH\" != *\"\$HOME/.cabal/bin\"* ]] ; then\n PATH=\"\$HOME/.cabal/bin:\$PATH\"\nfi" >> "$HOME/.zshrc";
fi fi
# Enable Oh My Zsh plugins # Enable Oh My Zsh plugins
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment