Jaculabilis
/
5dplomacy
1
1
Fork 0
Code Pull Requests Activity

Make the dev shell a bit prettier

This commit is contained in:
Jaculabilis 2022-11-03 00:26:23 +00:00
parent 63289bce54
commit 6347b52d4a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
flake.nix
View File

@ -9,7 +9,7 @@
in rec { in rec {
devShell = pkgs.mkShell { devShell = pkgs.mkShell {
shellHook = '' shellHook = ''
PS1="5dplomacy:\W$ " PS1='\[\e[0;94m\]\u@\H\[\e[0;93m\] 5dplomacy \[\e[0;92m\]$(git rev-parse --short HEAD)\[\e[0m\]\n\W$ '
''; '';
DOTNET_CLI_TELEMETRY_OPTOUT = 1; DOTNET_CLI_TELEMETRY_OPTOUT = 1;
packages = [ pkgs.dotnet-sdk pkgs.dotnetPackages.NUnit3 ]; packages = [ pkgs.dotnet-sdk pkgs.dotnetPackages.NUnit3 ];