From 008290931e7ae5662e8fcb3cb3eed1daa7ecd3c6 Mon Sep 17 00:00:00 2001 From: coolneng Date: Wed, 6 Oct 2021 14:44:46 +0200 Subject: [PATCH] Create .project file in project-init --- scripts/.local/share/scripts/project-init | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/.local/share/scripts/project-init b/scripts/.local/share/scripts/project-init index 34a54b7..021d8ae 100755 --- a/scripts/.local/share/scripts/project-init +++ b/scripts/.local/share/scripts/project-init @@ -38,9 +38,11 @@ elif [ "$type" = "remote-git" ]; then elif [ "$type" = "doc" ]; then mkdir docs docs/assets touch docs/Summary.org + touch .project elif [ "$type" = "src" ]; then cp ~/Documents/IT/shell.nix . mkdir src data + touch .project echo "use nix" >.envrc direnv allow else