We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8339b6d commit 266baf3Copy full SHA for 266baf3
4 files changed
replication/esecfse22/execute.sh
@@ -1,6 +1,6 @@
1
#!/usr/bin/env bash
2
# Assure that the script is only called from the esecfse22 folder
3
-cd "$(dirname "${BASH_SOURCE[0]}")/../.." || exit
+cd "$(dirname "${BASH_SOURCE[0]}")" || exit
4
5
if [[ $# -gt 0 ]]; then
6
echo "Executing $1"
results/.gitignore replication/esecfse22/results/.gitignoreresults/.gitignore renamed to replication/esecfse22/results/.gitignore
replication/splc23-views/execute.sh
# Assure that the script is only called from the splc23-views folder
replication/splc23-views/results/.gitignore
@@ -1 +1,4 @@
-/views
+# Ignore everything in this directory
+*
+# Except this file
+!.gitignore
0 commit comments