Add TRITON_DONT_SOURCE_PROFILE variable to disable
auto sourcing triton profile env upon shell startup
This commit is contained in:
parent
bf7cbcabce
commit
c23d2d4eff
|
@ -87,8 +87,10 @@ pkgs.devshell.mkShell {
|
|||
|
||||
bash = {
|
||||
extra = ''
|
||||
source ${self.packages.${system}.triton-docker-env}/bin/triton-docker-env.sh
|
||||
source ${self.packages.${system}.triton-utils}/bin/ttp.sh
|
||||
if [ -z "$TRITON_DONT_SOURCE_PROFILE" ]; then
|
||||
source ${self.packages.${system}.triton-docker-env}/bin/triton-docker-env.sh
|
||||
source ${self.packages.${system}.triton-utils}/bin/ttp.sh
|
||||
fi
|
||||
if [ "$(uname)" == "Darwin" ]; then
|
||||
source $DEVSHELL_DIR/share/bash-completion/bash_completion
|
||||
fi
|
||||
|
|
Loading…
Reference in a new issue