-
-
Notifications
You must be signed in to change notification settings - Fork 129
Open
Description
To clean a case, one has the following scripts available:
tutorials/clean-all.sh
tutorials/tutorial/clean-tutorial.sh
tutorials/tutorial/case/clean.sh
These scripts, however, are only doing the right thing if they are called from the directory in which they are located.
A common scenario is that a user is inside tutorials/tutorial/case/
but needs to call tutorials/tutorial/clean-tutorial.sh
. This means that they first need to go to the parent directory, which is rather unergonomic. It would be great to be able to call ../clean-tutorial.sh
.
Similarly, calling ./case/clean.sh
would also be nice.
Feedback from the 2025 workshop.
uekerman
Metadata
Metadata
Assignees
Labels
No labels