diff options
Diffstat (limited to 'packages/zaurusd/files/mbinputmgr-honor-user-prefs.patch')
| -rw-r--r-- | packages/zaurusd/files/mbinputmgr-honor-user-prefs.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/packages/zaurusd/files/mbinputmgr-honor-user-prefs.patch b/packages/zaurusd/files/mbinputmgr-honor-user-prefs.patch index f4ef7c5aee..e2d56874c9 100644 --- a/packages/zaurusd/files/mbinputmgr-honor-user-prefs.patch +++ b/packages/zaurusd/files/mbinputmgr-honor-user-prefs.patch @@ -25,8 +25,8 @@ + + if ! test -e "/tmp/gpe-panel.session-$panel_user" + then -+ cp /home/$panel_user/.matchbox/mbdock.session "/tmp/gpe-panel.session-$panel_user" -+ cat "/tmp/gpe-panel.session-$panel_user" | grep -q panel || killproc @bindir@/mbinputmgr ++ test -e /home/$panel_user/.matchbox/mbdock.session && cp /home/$panel_user/.matchbox/mbdock.session "/tmp/gpe-panel.session-$panel_user" ++ test -e "/tmp/gpe-panel.session-$panel_user" && cat "/tmp/gpe-panel.session-$panel_user" | grep -q panel || killproc @bindir@/mbinputmgr + else + cat "/tmp/gpe-panel.session-$panel_user" | grep -q panel || killproc @bindir@/mbinputmgr + rm "/tmp/gpe-panel.session-$panel_user" |