Thanks for the quick reply. On 19/09/19 17:19, A.L.E.C wrote:
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
I tried, but it did not work(same as before).
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 usinghttps://www.php.net/manual/en/function.serialize.php
Thanks again. Any kind suggestions how to delete that pref-name element from that array using mysql prompt. The entry is bit big in length.