Re: [RCD] preferences in users table

On 9/19/19 1:33 PM, soumitri@iitk.ac.in wrote:

I tried following command, but failed(no error, but no result too).

# ./moduserprefs.sh --user='xyz' plugin.hotkeys.mapping_list --delete --type=string

# ./moduserprefs.sh --user='xyz' plugin.hotkeys.mapping_list --delete

You don't need --type to delete an option. Also, I think option name should be last, i.e.

./moduserprefs.sh --user='xyz' --delete plugin.hotkeys.mapping_list

Although i guess a brief structure from the below layout from preference column, but not in exact. Any reference document for this. Thanks for this nice OSS and any help.

This is an array (hash) serialized using https://www.php.net/manual/en/function.serialize.php