Create install file to indicate make install has been executed

2023-07-15 14:22:58 +02:00 · 2023-07-15 14:22:58 +02:00 · 1ed32c6e3f
parent 48d3020332
commit 1ed32c6e3f
2 changed files with 3 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,2 +1,2 @@
 /private
-.task/*.data
+install
--- a/install.zsh
+++ b/install.zsh
@ -102,3 +102,5 @@ for i in "${tools[@]}"; do
    sudo DEBIAN_FRONTEND=noninteractive apt install ${i} -yq
  fi
 done
+
+touch install