From 3961ab76e6a787ca8ebfafcf1c6d43b4a0d40b2f Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Mon, 7 Oct 2019 23:08:55 +0200
Subject: [PATCH] Update Tup local config from Genode nix-shell

---
 upstream/default.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/upstream/default.nix b/upstream/default.nix
index c023f83..c979c16 100644
--- 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."
       '';
     };