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

[Alex ARNAUD <alexarnaud hypra fr>]

Hello Frans-Willem Post,

Thank for your procedure but it doesn't work in my case. The GSettings 
backend is only available on Ubuntu.

I use the JSON backend and it would be complicated to edit JSON file 
manually.

Best regards.
--
Alex ARNAUD
Visual-Impairment Project Manager
Hypra - "Humanizing technology"

Le 08/01/2018 à 17:02, Frans-Willem Post a écrit :
> 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.