Copy shell.nix for remote-git projects

This commit is contained in:
coolneng 2023-02-25 01:16:51 +01:00
parent 2ec144e902
commit 3be7820be2
Signed by: coolneng
GPG Key ID: 9893DA236405AF57
1 changed files with 1 additions and 0 deletions

View File

@ -15,6 +15,7 @@ usage() {
copy_nix_files() { copy_nix_files() {
if [ "$1" = "flake" ]; then if [ "$1" = "flake" ]; then
cp ~/Projects/devenv/flake-template.nix flake.nix cp ~/Projects/devenv/flake-template.nix flake.nix
cp ~/Projects/devenv/shell.nix .
elif [ "$1" = "nix-ld" ]; then elif [ "$1" = "nix-ld" ]; then
cp ~/Projects/devenv/nix-ld.nix shell.nix cp ~/Projects/devenv/nix-ld.nix shell.nix
elif [ "$1" = "datasci" ]; then elif [ "$1" = "datasci" ]; then