1 --- Settings.cs 2011-09-13 17:45:50.706897029 +0200
2 +++ Settings.cs.new 2011-09-13 17:39:27.555639405 +0200
5 if (!supertuxdatadir_cached)
7 - supertuxdatadir = GuessDataDir();
8 + supertuxdatadir = "/usr/share/games/supertux2";
9 supertuxdatadir_cached = true;
11 return supertuxdatadir;
13 String supertux_datadir_best = null;
14 while (!String.IsNullOrEmpty(supertux_datadir = supertux_process.StandardOutput.ReadLine())) {
15 if(System.IO.Path.IsPathRooted(supertux_datadir)) {
16 - supertux_datadir_best = supertux_datadir;
17 + supertux_datadir_best = "/usr/share/games/supertux2";