diff --git a/devenv.nix b/devenv.nix
index ddd75e06977ac89c40d24b38c4df2b621aebf46e..893d2b701f987472b8eaf68348d6dcfe2036e26d 100644
--- a/devenv.nix
+++ b/devenv.nix
@@ -92,7 +92,7 @@ in {
   '';
 
   scripts.build-and-publish.exec = ''
-    set -x
+    
     if [ -t 1 ]; then
       RED='\033[0;31m'
       GREEN='\033[0;32m'