Get rid of copy/paste unfriendly '.'

EESSI · Dec 21, 2023 · 43c73c0 · 43c73c0
1 parent a333a74
commit 43c73c0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/install_scripts.sh b/install_scripts.sh
@@ -19,7 +19,7 @@ compare_and_copy() {
 
     if [ ! -f "$destination_file" ] || ! diff -q "$source_file" "$destination_file" ; then
         cp "$source_file" "$destination_file"
-        echo "File $1 copied to $2."
+        echo "File $1 copied to $2"
     else
         echo "Files $1 and $2 are identical. No copy needed."
     fi