diff --git a/init/modules/EESSI/2026.06.lua b/init/modules/EESSI/2026.06.lua new file mode 120000 index 00000000..cbf80d1f --- /dev/null +++ b/init/modules/EESSI/2026.06.lua @@ -0,0 +1 @@ +2023.06.lua \ No newline at end of file diff --git a/install_scripts.sh b/install_scripts.sh index 004ac075..48745a3d 100755 --- a/install_scripts.sh +++ b/install_scripts.sh @@ -80,8 +80,8 @@ compare_and_copy() { else echo "File has changed in the PR" fi - # Use cat to retain existing permissions, set umask to world readable in case the target file does not yet exist. - (umask 022 && cat "$source_file" > "$destination_file") + # Use cp --preserve=mode to preserve the permissions as they are defined in the GH repo + cp --preserve=mode "$source_file" "$destination_file" echo "File $source_file copied to $destination_file" else case $? in