We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 5e6ea4e + 3b0cfcd commit 6706b58Copy full SHA for 6706b58
1 file changed
install_scripts.sh
@@ -49,8 +49,12 @@ compare_and_copy() {
49
if [ ! -f "$destination_file" ] || ! diff -q "$source_file" "$destination_file" ; then
50
echo "Files $source_file and $destination_file differ, checking if we should copy or not"
51
# We only copy if the file is part of the PR
52
- if file_changed_in_pr "$source_file"; then
53
- echo "File has changed in the PR"
+ if [ ! -f "${destination_file}" ] || file_changed_in_pr "$source_file"; then
+ if [ ! -f "${destination_file}" ]; then
54
+ echo "File has not been copied yet ($destination_file does not exist}"
55
+ else
56
+ echo "File has changed in the PR"
57
+ fi
58
cp "$source_file" "$destination_file"
59
echo "File $source_file copied to $destination_file"
60
else
0 commit comments