Update Tup local config from Genode nix-shell

2019-10-07 23:08:55 +02:00 · 2019-10-07 23:08:55 +02:00 · 3961ab76e6
parent bb2ed81fe9
commit 3961ab76e6
1 changed files with 2 additions and 1 deletions
--- a/upstream/default.nix
+++ b/upstream/default.nix
@ -121,7 +121,8 @@ let
        export PROMPT_DIRTRIM=2
        export PS1="\[\033[1;30m\]Genode-dev [\[\033[1;37m\]\w\[\033[1;30m\]] $\[\033[0m\] "
        export PS2="\[\033[1;30m\]>\[\033[0m\] "
-        echo $tupConfig | tr ' CONFIG_' '\nCONFIG_'
+        echo $tupConfig | tr ' CONFIG_' '\nCONFIG_' > tup.config
+        echo "A new tup.config file has been generated."
      '';
    };