aggiustamenti script #1
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "0d0acre/accolli:main"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Aggiunge
+xasetup.sh,set -eu(https://bertvv.github.io/cheat-sheets/Bash.html), e-pamkdircosì non dà errore se viene eseguitosetup.shpiù volteFix already existent folderto aggiustamenti scriptAggiunto questo
script_directory="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"per riuscire fare il copy sempre bene indipendente dalla cartella da cui si esegue lo script
cp "${root_repo_directory}/target/debug/accolli" "${folder}