9 Nov
2015
9 Nov
'15
5:36 p.m.
Check that a path provided to --edit exists already; while the is_file call later will fail for non-existing files, with an explicit check a better error message can be provided. --- customize/customize_run.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/customize/customize_run.ml b/customize/customize_run.ml index ff7bd0d..054ee53 100644 --- a/customize/customize_run.ml +++ b/customize/customize_run.ml @@ -198,6 +198,9 @@ exec >>%s 2>&1 | `Edit (path, expr) -> message (f_"Editing: %s") path; + if not (g#exists path) then + error (f_"%s does not exist in the guest") path; + if not (g#is_file path) then error (f_"%s is not a regular file in the guest") path; -- 2.1.0