From c23d2d4eff78bcd9052816ab4af7ca1bbc91807b Mon Sep 17 00:00:00 2001
From: jhonas <wernery@greenbaum.cloud>
Date: Sun, 14 Aug 2022 22:31:58 +0200
Subject: [PATCH] Add TRITON_DONT_SOURCE_PROFILE variable to disable

auto sourcing triton profile env upon shell startup
---
 template/tritonshell.nix | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/template/tritonshell.nix b/template/tritonshell.nix
index 77505e1..7314481 100644
--- a/template/tritonshell.nix
+++ b/template/tritonshell.nix
@@ -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