/[antiright]/antiright/src/ACE
ViewVC logotype

Diff of /antiright/src/ACE

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.55 by jefbed, Sat Jul 30 21:03:31 2005 UTC revision 1.56 by jefbed, Sun Jul 31 18:39:55 2005 UTC
# Line 253  restart_desktop() Line 253  restart_desktop()
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."
# Line 365  Settings_Node() Line 366  Settings_Node()
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()

Legend:
Removed from v.1.55  
changed lines
  Added in v.1.56

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26