os: fix cp() spaces in files names

pull/4099/head
Naheel 2020-03-22 10:43:24 +03:00 committed by GitHub
parent a02395fe2d
commit c50c6812ce
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -160,7 +160,7 @@ pub fn cp(old, new string) ?bool {
return error_with_code('failed to copy $old to $new', int(result)) return error_with_code('failed to copy $old to $new', int(result))
} }
} $else { } $else {
os.system('cp $old $new') os.system('cp "$old" "$new"')
return true // TODO make it return true or error when cp for linux is implemented return true // TODO make it return true or error when cp for linux is implemented
} }
} }