Skip to content

Introduce case-specific run.sh scripts in deal.II tutorials - #905

Merged
MakisH merged 1 commit into
developfrom
fix-826
Aug 15, 2026
Merged

Introduce case-specific run.sh scripts in deal.II tutorials#905
MakisH merged 1 commit into
developfrom
fix-826

Conversation

@MakisH

@MakisH MakisH commented Aug 15, 2026

Copy link
Copy Markdown
Member

Closes #826 by replacing the symlinks to run-dealii.sh with case-specific run.sh scripts that call that.

The case-specific scripts also implement the usual logging we have in other tutorials.

The GitHub interface shows the changes in a strange way. All symlinks have been replaced by a run.sh file with the following content:

#!/usr/bin/env bash
set -e -u

. ../../tools/log.sh
exec > >(tee --append "$LOGFILE") 2>&1

../../tools/run-dealii.sh "$@"

close_log

and I have checked locally that they run normally.

@MakisH MakisH self-assigned this Aug 15, 2026
@MakisH
MakisH merged commit 86b3d3f into develop Aug 15, 2026
1 check passed
@MakisH
MakisH deleted the fix-826 branch August 15, 2026 15:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

deal.II run.sh all symlinks to one script

1 participant