Update documentation

pzehner · pzehner · commit 76507276e866 · 2024-10-22T18:10:22.000+02:00
diff --git a/manage-ghar b/manage-ghar
@@ -136,7 +136,7 @@ If there is a configuration file $CONFIG_FILE in the user home directory, then m
     state_path
     runner_command
     force
-Arguments must be in the form "<key>=<value>".
+Arguments must be in the form "<key>=<value>". Arguments from the command line have a higher priority.
 EOF
 }
 

Original file line number	Diff line number	Diff line change
`@@ -136,7 +136,7 @@ If there is a configuration file $CONFIG_FILE in the user home directory, then m`
`136`	`136`	`state_path`
`137`	`137`	`runner_command`
`138`	`138`	`force`
`139`		`-Arguments must be in the form "<key>=<value>".`
	`139`	`+Arguments must be in the form "<key>=<value>". Arguments from the command line have a higher priority.`
`140`	`140`	`EOF`
`141`	`141`	`}`
`142`	`142`