From 2b5daec05c486259ef325e5c4144b38aa0ab854e Mon Sep 17 00:00:00 2001 From: Ondrej Holy Date: Fri, 7 Jun 2019 09:09:09 +0200 Subject: [PATCH] docs: Add missing `gio move` options The `gio move` tool has plenty of options, which are listed by `gio help move`, however, the `man gio` page doesn't mention them. Let's add these missing options to the man page as well. --- docs/reference/gio/gio.xml | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/docs/reference/gio/gio.xml b/docs/reference/gio/gio.xml index 35c14da34..350796730 100644 --- a/docs/reference/gio/gio.xml +++ b/docs/reference/gio/gio.xml @@ -490,6 +490,31 @@ to DESTINATION. If more than one source is specified, the destination must be a directory. The move command is similar to the traditional mv utility. + + Options + + + , + Don’t copy into DESTINATION even if it is a directory. + + + , + Show progress. + + + , + Prompt for confirmation before overwriting files. + + + , + Create backups of existing destination files. + + + , + Don’t use copy and delete fallback. + + +