Changeset 633

Show
Ignore:
Timestamp:
06/21/08 09:03:43 (5 months ago)
Author:
free
Message:

* Use Mist instead of Glider, which is broken
* Restart maximus if it dies

Location:
trinity/trunk
Files:
3 modified

Legend:

Unmodified
Added
Removed

  • trinity/trunk/debian/changelog

    r632 r633  
    44  * Added mplayer skelton config files 
    55  * Don't display useless settings menu entries 
     6  * Use Mist instead of Glider, which is broken 
     7  * Restart maximus if it dies 
    68 
    79 -- Trinity <trinity@trinity>  Wed, 18 Jun 2008 17:21:52 +0200 

  • trinity/trunk/debian/trinity.gconf-defaults

    r632 r633  
    5353/desktop/gnome/background/picture_filename /usr/share/pixmaps/trinity/logo.png 
    5454/desktop/gnome/interface/gtk_color_scheme selected_bg_color:#797c797c797c 
    55 /desktop/gnome/interface/gtk_theme Glider 
     55/desktop/gnome/interface/gtk_theme Mist 
    5656/desktop/gnome/interface/icon_theme yasis 
    5757/desktop/gnome/interface/gtk_key_theme Default 

  • trinity/trunk/session/trinity-session

    r619 r633  
    11#!/bin/sh 
    22 
    3 exec maximus 
     3# Respawn maximus in case it dies 
     4while true; do 
     5   sleep 5 
     6      if [ $(ps -C maximus|wc -l) -lt 2 ]; then 
     7         maximus 
     8       fi 
     9done