Create .project file in project-init

This commit is contained in:
coolneng 2021-10-06 14:44:46 +02:00
parent ba20fdd8ee
commit 008290931e
Signed by: coolneng
GPG Key ID: 9893DA236405AF57
1 changed files with 2 additions and 0 deletions

View File

@ -38,9 +38,11 @@ elif [ "$type" = "remote-git" ]; then
elif [ "$type" = "doc" ]; then elif [ "$type" = "doc" ]; then
mkdir docs docs/assets mkdir docs docs/assets
touch docs/Summary.org touch docs/Summary.org
touch .project
elif [ "$type" = "src" ]; then elif [ "$type" = "src" ]; then
cp ~/Documents/IT/shell.nix . cp ~/Documents/IT/shell.nix .
mkdir src data mkdir src data
touch .project
echo "use nix" >.envrc echo "use nix" >.envrc
direnv allow direnv allow
else else