From e2add4185cf1e3639b7a320384098d63dc2f3d67 Mon Sep 17 00:00:00 2001 From: Simon Tatham Date: Sun, 23 Apr 2023 11:00:58 +0100 Subject: GTK: add a command-line --delete-prefs option. If you want to remove your saved preferences for a puzzle for any reason (perhaps because of one of those unsympathetic managers, or perhaps because it's become corrupted in some way), you can of course manually go and find the config file and delete it. But if you're not sure where it is, it's helpful to have a method of telling the puzzle itself to delete the config file. Perhaps it would be useful to expose this in the GUI as well, though I'm not quite sure where is the best place to put it. (_Perhaps_ it would also be useful to have a more thorough option that deleted _all_ puzzles' configurations - although that would involve telling every separate puzzle binary in this collection what all the other ones' names are, which would be an entirely new build headache.) --- puzzles.but | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'puzzles.but') diff --git a/puzzles.but b/puzzles.but index ad5d604..4e31bb2 100644 --- a/puzzles.but +++ b/puzzles.but @@ -364,6 +364,11 @@ in which case its behaviour is slightly different; see below. } +\dt \cw{--delete-prefs} + +\dd This option causes the puzzle to delete the configuration file in +which its user preferences were stored, if there is one. + \dt \I{printing, on Unix}\cw{--print }\e{w}\cw{x}\e{h} \dd If this option is specified, instead of a puzzle being displayed, -- cgit v1.1