From 3be7820be22d8970015384a11237880f313bb96a Mon Sep 17 00:00:00 2001 From: coolneng Date: Sat, 25 Feb 2023 01:16:51 +0100 Subject: [PATCH] Copy shell.nix for remote-git projects --- scripts/.local/share/scripts/project-init | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/.local/share/scripts/project-init b/scripts/.local/share/scripts/project-init index 18918f8..749c3bc 100755 --- a/scripts/.local/share/scripts/project-init +++ b/scripts/.local/share/scripts/project-init @@ -15,6 +15,7 @@ usage() { copy_nix_files() { if [ "$1" = "flake" ]; then cp ~/Projects/devenv/flake-template.nix flake.nix + cp ~/Projects/devenv/shell.nix . elif [ "$1" = "nix-ld" ]; then cp ~/Projects/devenv/nix-ld.nix shell.nix elif [ "$1" = "datasci" ]; then