253 |
} |
} |
254 |
killwm() |
killwm() |
255 |
{ |
{ |
256 |
|
ACE -A killdesk |
257 |
WINDOWMANAGER=$(cat ~/.xinitrc | grep WINDOWMANAGER | cut -d '=' -f 2) |
WINDOWMANAGER=$(cat ~/.xinitrc | grep WINDOWMANAGER | cut -d '=' -f 2) |
258 |
if [ "$WINDOWMANAGER" = "" ]; then |
if [ "$WINDOWMANAGER" = "" ]; then |
259 |
$ARSHELL -ADm "Please set WINDOWMANGER in ~/.xinitrc." |
$ARSHELL -ADm "Please set WINDOWMANGER in ~/.xinitrc." |
366 |
-ADp "$1: [$(ACE_read_configuration_value $1)]") |
-ADp "$1: [$(ACE_read_configuration_value $1)]") |
367 |
echo new value is $new_value |
echo new value is $new_value |
368 |
if [ "$new_value" != "" ]; then |
if [ "$new_value" != "" ]; then |
369 |
set_value $1 $new_value |
set_value $1 "$new_value" |
370 |
fi |
fi |
371 |
} |
} |
372 |
Settings() |
Settings() |