Thanks for the quick reply.
On 19/09/19 17:19, A.L.E.C wrote:
On 9/19/19 1:33 PM,soumi...@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.
_______________________________________________
Roundcube Development discussion mailing list
dev@lists.roundcube.net
http://lists.roundcube.net/mailman/listinfo/dev
