|
1 2 3 4 |
# !/bin/bash old=`gsettings get org.gnome.desktop.input-sources xkb-options` new=`echo $old | sed "s/'numpad:microsoft'//g" | sed -r "s/(, )+/, /g" | sed -r "s/(, )?]/, 'numpad:microsoft']/"` gsettings set org.gnome.desktop.input-sources xkb-options "$new" |