Facility for acking/unacking log entries
[gregoa/zavai.git] / src / config.vala
1 /*
2  * config - zavai configuration
3  *
4  * Copyright (C) 2009--2010  Enrico Zini <enrico@enricozini.org>
5  *
6  * This program is free software; you can redistribute it and/or modify
7  * it under the terms of the GNU General Public License as published by
8  * the Free Software Foundation; either version 2 of the License, or
9  * (at your option) any later version.
10  *
11  * This program is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14  * GNU General Public License for more details.
15  *
16  * You should have received a copy of the GNU General Public License
17  * along with this program; if not, write to the Free Software
18  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
19  */
20
21 namespace zavai {
22
23 public class Config
24 {
25     protected Lua.LuaVM lua;
26     protected weak string get_string(string name)
27     {
28         lua.get_global(name);
29         weak string res = lua.to_string(-1);
30         lua.pop(1);
31         return res;
32     }
33     protected string set_string(string name, string? val)
34     {
35         if (val == null)
36             lua.push_nil();
37         else
38             lua.push_string(val);
39         lua.set_global(name);
40         return val;
41     }
42     protected weak int get_int(string name)
43     {
44         lua.get_global(name);
45         int res = lua.to_integer(-1);
46         lua.pop(1);
47         return res;
48     }
49     protected int set_int(string name, int val)
50     {
51         lua.push_integer(val);
52         lua.set_global(name);
53         return val;
54     }
55
56     private string _version;
57     public string version
58     {
59         get { return _version; }
60         set { _version = set_string("version", value); }
61     }
62
63     // "phone" or "laptop"
64     private string _profile;
65     public string profile
66     {
67         get { return _profile; }
68         set { _profile = set_string("profile", value); }
69     }
70
71     private string _homedir;
72     public string homedir
73     {
74         get { return _homedir; }
75         set { _homedir = set_string("homedir", value); }
76     }
77
78     private string _icondir;
79     public string icondir
80     {
81         get { return _icondir; }
82         set { _icondir = set_string("icondir", value); }
83     }
84
85     private int _min_button_height;
86     public int min_button_height
87     {
88         get { return _min_button_height; }
89         set { _min_button_height = set_int("min_button_height", value); }
90     }
91
92     private string _gpsd_host;
93     public string gpsd_host
94     {
95         get { return _gpsd_host; }
96         set { _gpsd_host = set_string("gpsd_host", value); }
97     }
98
99     private string _gpsd_port;
100     public string gpsd_port
101     {
102         get { return _gpsd_port; }
103         set { _gpsd_port = set_string("gpsd_port", value); }
104     }
105
106     private string _gprs_apn;
107     public string gprs_apn
108     {
109         get { return _gprs_apn; }
110         set { _gprs_apn = set_string("gprs_apn", value); }
111     }
112
113     private string _gprs_user;
114     public string gprs_user
115     {
116         get { return _gprs_user; }
117         set { _gprs_user = set_string("gprs_user", value); }
118     }
119
120     private string _gprs_pass;
121     public string gprs_pass
122     {
123         get { return _gprs_pass; }
124         set { _gprs_pass = set_string("gprs_pass", value); }
125     }
126
127     private string _sim_pin;
128     public string sim_pin
129     {
130         get { return _sim_pin; }
131         set { _sim_pin = set_string("sim_pin", value); }
132     }
133
134     private int _power_button_keycode;
135     public int power_button_keycode
136     {
137         get { return _power_button_keycode; }
138         set { _power_button_keycode = set_int("power_button_keycode", value); }
139     }
140
141     private int _aux_button_keycode;
142     public int aux_button_keycode
143     {
144         get { return _aux_button_keycode; }
145         set { _aux_button_keycode = set_int("aux_button_keycode", value); }
146     }
147
148     private string _ringtone_alarm;
149     public string ringtone_alarm
150     {
151         get { return _ringtone_alarm; }
152         set { _ringtone_alarm = set_string("ringtone_alarm", value); }
153     }
154
155     public int backlight_max
156     {
157         get;
158         set;
159     }
160
161     private string _argv0;
162     public string argv0 {
163         get { return _argv0; }
164         set {
165             if (value.chr(-1, '/') != null)
166             {
167                 if (Path.is_absolute(value))
168                 {
169                     _argv0 = value;
170                 } else {
171                     _argv0 = Path.build_filename(Environment.get_current_dir(), value, null);
172                 }
173             } else {
174                 _argv0 = Environment.find_program_in_path(value);
175             }
176             zavai.log.debug("ARGV0: " + _argv0);
177         }
178     }
179
180     /// Reread config values from the Lua VM, to be run after running Lua code
181     protected void refresh_from_lua()
182     {
183         _version = get_string("version");
184         _profile = get_string("profile");
185         _homedir = get_string("homedir");
186         _icondir = get_string("icondir");
187         _min_button_height = get_int("min_button_height");
188         _gpsd_host = get_string("gpsd_host");
189         _gpsd_port = get_string("gpsd_port");
190         _gprs_apn = get_string("gprs_apn");
191         _gprs_user = get_string("gprs_user");
192         _gprs_pass = get_string("gprs_pass");
193         _sim_pin = get_string("sim_pin");
194         _power_button_keycode = get_int("power_button_keycode");
195         _aux_button_keycode = get_int("aux_button_keycode");
196         _ringtone_alarm = get_string("ringtone_alarm");
197     }
198
199     public Config()
200     {
201         lua = new Lua.LuaVM();
202         lua.open_libs();
203
204         // Set defaults
205         version = "0.1";
206         profile = "phone";
207         homedir = GLib.Environment.get_home_dir() + "/.zavai";
208         icondir = GLib.Environment.get_variable("ZAVAI_ICONDIR");
209         if (icondir == null)
210                 icondir = "/usr/share/zavai/icons";
211         min_button_height = 80;
212         gpsd_host = "localhost";
213         gpsd_port = "gpsd";
214         gprs_apn = "general.t-mobile.uk";
215         gprs_user = "x";
216         gprs_pass = "x";
217         sim_pin = "1234";
218         backlight_max = 15;
219         power_button_keycode = 124;
220         aux_button_keycode = 177;
221         ringtone_alarm = "file:///usr/share/sounds/yue-fso/lec1.ogg";
222
223         // Read config
224         if (lua.do_file(homedir + "/config"))
225         {
226             zavai.log.error("Failed to parse " + homedir + "/config: " + lua.to_string(-1));
227         }
228         refresh_from_lua();
229     }
230
231     /**
232      * Find a zavai script.
233      * 
234      * ~/.zavai/NAME is searched first, then /usr/share/zavai/hooks/
235      *
236      * If the script is not found, NULL is returned
237      */
238     public string? find_script(string name)
239     {
240         string candidate = homedir + "/" + name;
241         if (FileUtils.test(candidate, FileTest.EXISTS))
242             return candidate;
243         candidate = "/usr/share/zavai/hooks/" + name;
244         if (FileUtils.test(candidate, FileTest.EXISTS))
245             return candidate;
246         return null;
247     }
248
249     public void find_and_run_script(string script, string args) throws SpawnError
250     {
251         string cmd = find_script(script);
252         if (cmd == null)
253             throw new SpawnError.NOENT("hook '" + cmd + "' not found");
254         run_script(cmd + " " + args);
255     }
256
257     public void run_script(string command) throws SpawnError
258     {
259         zavai.log.info("Run program: " + command);
260         string[] args = command.split(" ");
261         Pid pid;
262         Process.spawn_async(
263             Environment.get_home_dir(),
264             args,
265             null,
266             SpawnFlags.SEARCH_PATH,
267             null,
268             out pid);
269     }
270
271     public int run_script_sync(string command, out string std_out, out string std_err) throws SpawnError
272     {
273         int status = -1;
274         zavai.log.info("Run program: " + command);
275         string[] args = command.split(" ");
276         bool res = Process.spawn_sync(Environment.get_home_dir(), args, null, SpawnFlags.SEARCH_PATH, null, out std_out, out std_err, out status);
277         return status;
278     }
279 }
280
281 public Config config = null;
282
283 }