diff --git a/install_scripts.sh b/install_scripts.sh index e1a5ac1a..e6220c2f 100755 --- a/install_scripts.sh +++ b/install_scripts.sh @@ -80,7 +80,8 @@ compare_and_copy() { else echo "File has changed in the PR" fi - cp "$source_file" "$destination_file" + # 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") echo "File $source_file copied to $destination_file" else case $? in