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.