From 3d79f20371464105fadddd83adb2f1a5bba433df Mon Sep 17 00:00:00 2001 From: "Yann Esposito (Yogsototh)" Date: Fri, 10 Jan 2020 12:21:33 +0100 Subject: [PATCH] comment from Reynaldo Cordero about PS1 in nix-shell --- src/posts/0010-Haskell-Now/index.org | 6 +++--- src/posts/0010-Haskell-Now/my-app/default.nix | 2 +- src/posts/0010-Haskell-Now/shell.nix | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/posts/0010-Haskell-Now/index.org b/src/posts/0010-Haskell-Now/index.org index 1a6a241..589bf79 100644 --- a/src/posts/0010-Haskell-Now/index.org +++ b/src/posts/0010-Haskell-Now/index.org @@ -160,7 +160,7 @@ The article contains five parts: - More on infinite tree; a more math oriented discussion about infinite trees -** Helpers :noexport: +** Helpers :noexport: :PROPERTIES: :CUSTOM_ID: helpers :END: @@ -205,7 +205,7 @@ The article contains five parts: name = "env"; buildInputs = nixPackages; shellHook = '' - export PS1="\n[hs:\033[1;32m\]\W\[\033[0m\]]> " + export PS1="\n\[[hs:\033[1;32m\]\W\[\033[0m\]]> " ''; } #+end_src @@ -3737,7 +3737,7 @@ in ]; # nice prompt for the nix-shell shellHook = '' - export PS1="\n[${name}:\033[1;32m\]\W\[\033[0m\]]> " + export PS1="\n\[[${name}:\033[1;32m\]\W\[\033[0m\]]> " ''; }; } diff --git a/src/posts/0010-Haskell-Now/my-app/default.nix b/src/posts/0010-Haskell-Now/my-app/default.nix index f0d6574..b1029b9 100644 --- a/src/posts/0010-Haskell-Now/my-app/default.nix +++ b/src/posts/0010-Haskell-Now/my-app/default.nix @@ -29,7 +29,7 @@ in ]; # nice prompt for the nix-shell shellHook = '' - export PS1="\n[${name}:\033[1;32m\]\W\[\033[0m\]]> " + export PS1="\n\[[${name}:\033[1;32m\]\W\[\033[0m\]]> " ''; }; } diff --git a/src/posts/0010-Haskell-Now/shell.nix b/src/posts/0010-Haskell-Now/shell.nix index 9918136..817009b 100644 --- a/src/posts/0010-Haskell-Now/shell.nix +++ b/src/posts/0010-Haskell-Now/shell.nix @@ -21,6 +21,6 @@ name = "env"; buildInputs = nixPackages; shellHook = '' - export PS1="\n[hs:\033[1;32m\]\W\[\033[0m\]]> " + export PS1="\n\[[hs:\033[1;32m\]\W\[\033[0m\]]> " ''; }