Re: [orca-list] How to drop an profile ?

[Frans-Willem Post <fwpost gmail com>]

Hello Alex,

A while ago, I asked about the same question and got a response from 
this list. This is what you can do:

- export all current Orca settings using dconf dump /org/gnome/orca/ > 
my-backup.ini;
- edit the export using your favorite text-editor, removing the specific 
profiles from the file
  (line profiles= under [/], and their sections [profile/....])
- first quit Orca, then re-import the settings using dconf reset -f 
/org/gnome/orca/;  dconf load /org/gnome/orca/ < my-backup.ini;

Hope this helps, kind regards,

Frans-Willem Post


On 08-01-18 15:16, Alex ARNAUD wrote:
> Hello all,
>
> I'm using multiple profiles on my Orca settings and I would like to 
> remove some of them.
>
> I can only find the button "load" and "save as", what is the way to 
> drop an existing profile ?
>
> Best regards.