ehmry
/
genodepkgs
2
0
Fork 0
Code Releases Activity

Write a Tup config when entering nix-shell

20.02
Emery Hemingway 2019-10-13 15:35:47 +02:00
parent f0762e152a
commit 7f1cdabda9
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
upstream/default.nix
View File

@ -125,8 +125,12 @@ 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_' > tup.config
echo "A new tup.config file has been generated."
if [ -e "configs/.gitignore" ]; then
local CFG_PATH=configs/${targetPlatform.config}.config
echo $tupConfig | tr ' CONFIG_' '\nCONFIG_' > $CFG_PATH
echo "Tup configuration placed at $CFG_PATH, to activate run the following command:"
echo " tup variant $CFG_PATH"
fi
'';
};