--- src/seti_applet.c.orig Tue Oct 3 11:05:06 2000 +++ src/seti_applet.c Tue Oct 3 11:06:23 2000 @@ -1442,7 +1442,7 @@ g_free ( sa.seti_dir ); } gnome_config_push_prefix ( path ); - sa.seti_dir = gnome_config_get_string ( "setiapplet/setidir=/usr/local/seti" ); + sa.seti_dir = gnome_config_get_string ( "setiapplet/setidir=/var/db/setiathome" ); sa.update_interval = gnome_config_get_int ( "setiapplet/updateinterval=3" ); sa.file_update_interval = gnome_config_get_int ( "setiapplet/fileupdateinterval=120" ); @@ -1460,10 +1460,10 @@ g_free ( sa.extra_params ); } sa.extra_params = gnome_config_get_string ( "setiapplet/extraparams="); - sa.separate_exe_dir = gnome_config_get_int ( "setiapplet/separateexedir=0" ); + sa.separate_exe_dir = gnome_config_get_int ( "setiapplet/separateexedir=1" ); if ( sa.separate_exe_dir == TRUE ) { - sa.seti_exe_dir = gnome_config_get_string ( "setiapplet/setiexedir" ); + sa.seti_exe_dir = gnome_config_get_string ( "setiapplet/setiexedir=/usr/local/bin" ); } sa.launch_on_start = gnome_config_get_int ( "setiapplet/launchonstart=0" ); gnome_config_pop_prefix();