System Void 10 anni fa
parent
commit
20675ac380
1 ha cambiato i file con 5 aggiunte e 0 eliminazioni
  1. 5 0
      bin/v-open-fs-file

+ 5 - 0
bin/v-open-fs-file

@@ -33,6 +33,11 @@ if [ ! -z "$src_file" ]; then
         echo "Error: invalid source path $src_file"
         echo "Error: invalid source path $src_file"
         exit 2
         exit 2
     fi
     fi
+    
+    if [ ! -f "$src_file" ]; then
+        echo "Error: file not found $src_file"
+        exit 2
+    fi
 fi
 fi
 
 
 # Reading file
 # Reading file