Because of the ugly behaviour of $(, I'm now using the getgid() function from

[devedit.git] / errors.dat

diff --git a/errors.dat b/errors.dat
index 338dbfe0a7fbac3bfc180f38fa06f814dd99c980..93b5fc53445416aa64982ec2654166816f676eb4 100644 (file)
--- a/errors.dat
+++ b/errors.dat
@@ -5,6 +5,7 @@ editdir        = You cannot edit directories.
 noedit         = You have not enough permissions to edit this file.
 file_in_use    = The file '{FILE}' is currently edited by someone else.
 edit_failed    = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.
 noedit         = You have not enough permissions to edit this file.
 file_in_use    = The file '{FILE}' is currently edited by someone else.
 edit_failed    = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.

+text_to_binary = You aren't allowed to write text data into a binary file.

 delete_failed  = Could not delete file '{FILE}'.
 dir_read_fail  = Reading of directory '{DIR}' failed.
 mkfile_failed  = Could not create file '{FILE}'.
 delete_failed  = Could not delete file '{FILE}'.
 dir_read_fail  = Reading of directory '{DIR}' failed.
 mkfile_failed  = Could not create file '{FILE}'.


@@ -29,5 +30,6 @@ remove_root    = You are not allowed to remove the root directory.
 rename_root    = You are not allowed to move/rename the root directory.
 no_users       = It seems that your system doesn't support users and groups.
 not_owner      = You are not the owner of {FILE}, so you are not allowed to change the mode and the group.
 rename_root    = You are not allowed to move/rename the root directory.
 no_users       = It seems that your system doesn't support users and groups.
 not_owner      = You are not the owner of {FILE}, so you are not allowed to change the mode and the group.

+invalid_group  = '{GROUP}' seems to be an invalid group name. Please check it and try again.

 
 # End of configuration file
\ No newline at end of file
 
 # End of configuration file
\ No newline at end of file