diff options
Diffstat (limited to 'src/utilities/paths.vala')
| -rw-r--r-- | src/utilities/paths.vala | 136 |
1 files changed, 68 insertions, 68 deletions
diff --git a/src/utilities/paths.vala b/src/utilities/paths.vala index fe8897b..5b39c45 100644 --- a/src/utilities/paths.vala +++ b/src/utilities/paths.vala @@ -1,4 +1,4 @@ -/* +/* Copyright (c) 2011 by Simon Schneegans This program is free software: you can redistribute it and/or modify it @@ -12,12 +12,12 @@ FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with -this program. If not, see <http://www.gnu.org/licenses/>. +this program. If not, see <http://www.gnu.org/licenses/>. */ namespace GnomePie { -///////////////////////////////////////////////////////////////////////// +///////////////////////////////////////////////////////////////////////// /// A static class which stores all relevant paths used by Gnome-Pie. /// These depend upon the location from which the program was launched. ///////////////////////////////////////////////////////////////////////// @@ -28,122 +28,122 @@ public class Paths : GLib.Object { /// The config directory, /// usually ~/.config/gnome-pie/. ///////////////////////////////////////////////////////////////////// - + public static string config_directory { get; private set; default=""; } ///////////////////////////////////////////////////////////////////// /// The log file, /// usually ~/.config/gnome-pie/gnome-pie.log. ///////////////////////////////////////////////////////////////////// - + public static string log { get; private set; default=""; } - + ///////////////////////////////////////////////////////////////////// /// The statistics file, /// usually ~/.config/gnome-pie/gnome-pie.stats. ///////////////////////////////////////////////////////////////////// - + public static string stats { get; private set; default=""; } - + ///////////////////////////////////////////////////////////////////// /// The settings file, /// usually ~/.config/gnome-pie/gnome-pie.conf. ///////////////////////////////////////////////////////////////////// - + public static string settings { get; private set; default=""; } - + ///////////////////////////////////////////////////////////////////// /// The pie configuration file /// usually ~/.config/gnome-pie/pies.conf. ///////////////////////////////////////////////////////////////////// - + public static string pie_config { get; private set; default=""; } - + ///////////////////////////////////////////////////////////////////// /// The directory containing themes installed by the user /// usually ~/.config/gnome-pie/themes. ///////////////////////////////////////////////////////////////////// - + public static string local_themes { get; private set; default=""; } - + ///////////////////////////////////////////////////////////////////// /// The directory containing pre-installed themes /// usually /usr/share/gnome-pie/themes. ///////////////////////////////////////////////////////////////////// - + public static string global_themes { get; private set; default=""; } - + ///////////////////////////////////////////////////////////////////// /// The directory containing locale files /// usually /usr/share/locale. ///////////////////////////////////////////////////////////////////// - + public static string locales { get; private set; default=""; } - + ///////////////////////////////////////////////////////////////////// /// The directory containing UI declaration files /// usually /usr/share/gnome-pie/ui/. ///////////////////////////////////////////////////////////////////// - + public static string ui_files { get; private set; default=""; } - + ///////////////////////////////////////////////////////////////////// /// The autostart file of gnome-pie_config /// usually ~/.config/autostart/gnome-pie.desktop. ///////////////////////////////////////////////////////////////////// - + public static string autostart { get; private set; default=""; } - + ///////////////////////////////////////////////////////////////////// /// The path where all pie-launchers are stored /// usually ~/.config/gnome-pie/launchers. ///////////////////////////////////////////////////////////////////// - + public static string launchers { get; private set; default=""; } - + ///////////////////////////////////////////////////////////////////// /// The path to the executable. ///////////////////////////////////////////////////////////////////// - + public static string executable { get; private set; default=""; } - + ///////////////////////////////////////////////////////////////////// /// Initializes all values above. ///////////////////////////////////////////////////////////////////// - + public static void init() { - + // get path of executable try { executable = GLib.File.new_for_path(GLib.FileUtils.read_link("/proc/self/exe")).get_path(); } catch (GLib.FileError e) { warning("Failed to get path of executable!"); } - + // append resources to icon search path to icon theme, if neccasary var icon_dir = GLib.File.new_for_path(GLib.Path.get_dirname(executable)).get_child("resources"); - + if (icon_dir.query_exists()) { string path = icon_dir.get_path(); Gtk.IconTheme.get_default().append_search_path(path); } - + Gtk.IconTheme.get_default().append_search_path("/usr/share/pixmaps/"); - + // get global paths var default_dir = GLib.File.new_for_path("/usr/share/gnome-pie/"); if(!default_dir.query_exists()) { default_dir = GLib.File.new_for_path("/usr/local/share/gnome-pie/"); - + if(!default_dir.query_exists()) { default_dir = GLib.File.new_for_path(GLib.Path.get_dirname( executable)).get_child("resources"); } } - + global_themes = default_dir.get_path() + "/themes"; ui_files = default_dir.get_path() + "/ui"; - + // get locales path var locale_dir = GLib.File.new_for_path("/usr/share/locale/de/LC_MESSAGES/gnomepie.mo"); if(locale_dir.query_exists()) { @@ -155,16 +155,16 @@ public class Paths : GLib.Object { } else { locale_dir = GLib.File.new_for_path(GLib.Path.get_dirname( executable)).get_child("resources/locale/de/LC_MESSAGES/gnomepie.mo"); - + if(locale_dir.query_exists()) { locale_dir = GLib.File.new_for_path(GLib.Path.get_dirname( executable)).get_child("resources/locale"); } } } - + locales = locale_dir.get_path(); - + // get local paths var config_dir = GLib.File.new_for_path( GLib.Environment.get_user_config_dir()).get_child("gnome-pie"); @@ -177,9 +177,9 @@ public class Paths : GLib.Object { error(e.message); } } - + config_directory = config_dir.get_path(); - + // create local themes directory if neccasary var themes_dir = config_dir.get_child("themes"); if(!themes_dir.query_exists()) { @@ -189,9 +189,9 @@ public class Paths : GLib.Object { error(e.message); } } - + local_themes = themes_dir.get_path(); - + // create launchers directory if neccasary var launchers_dir = config_dir.get_child("launchers"); if(!launchers_dir.query_exists()) { @@ -201,17 +201,17 @@ public class Paths : GLib.Object { error(e.message); } } - + launchers = launchers_dir.get_path(); - + // check for config file var config_file = config_dir.get_child("pies.conf"); - + pie_config = config_file.get_path(); settings = config_dir.get_path() + "/gnome-pie.conf"; log = config_dir.get_path() + "/gnome-pie.log"; stats = config_dir.get_path() + "/gnome-pie.stats"; - + if (!GLib.File.new_for_path(log).query_exists()) { try { FileUtils.set_contents(log, ""); @@ -219,7 +219,7 @@ public class Paths : GLib.Object { error(e.message); } } - + if (!GLib.File.new_for_path(stats).query_exists()) { try { FileUtils.set_contents(stats, ""); @@ -227,36 +227,36 @@ public class Paths : GLib.Object { error(e.message); } } - + // autostart file name - autostart = GLib.Path.build_filename(GLib.Environment.get_user_config_dir(), + autostart = GLib.Path.build_filename(GLib.Environment.get_user_config_dir(), "autostart", "gnome-pie.desktop", null); - + // print results - if (!GLib.File.new_for_path(pie_config).query_exists()) + if (!GLib.File.new_for_path(pie_config).query_exists()) warning("Failed to find pie configuration file \"pies.conf\"! (This should only happen when Gnome-Pie is started for the first time...)"); - - if (!GLib.File.new_for_path(settings).query_exists()) + + if (!GLib.File.new_for_path(settings).query_exists()) warning("Failed to find settings file \"gnome-pie.conf\"! (This should only happen when Gnome-Pie is started for the first time...)"); - - if (!GLib.File.new_for_path(log).query_exists()) + + if (!GLib.File.new_for_path(log).query_exists()) warning("Failed to find log file \"gnome-pie.log\"!"); - - if (!GLib.File.new_for_path(stats).query_exists()) + + if (!GLib.File.new_for_path(stats).query_exists()) warning("Failed to find statistics file \"gnome-pie.stats\"!"); - - if (!GLib.File.new_for_path(local_themes).query_exists()) + + if (!GLib.File.new_for_path(local_themes).query_exists()) warning("Failed to find local themes directory!"); - - if (!GLib.File.new_for_path(launchers).query_exists()) + + if (!GLib.File.new_for_path(launchers).query_exists()) warning("Failed to find launchers directory!"); - - if (!GLib.File.new_for_path(global_themes).query_exists()) - warning("Failed to find global themes directory!"); - - if (!GLib.File.new_for_path(ui_files).query_exists()) - warning("Failed to find UI files directory!"); - } + + if (!GLib.File.new_for_path(global_themes).query_exists()) + warning("Failed to find global themes directory!"); + + if (!GLib.File.new_for_path(ui_files).query_exists()) + warning("Failed to find UI files directory!"); + } } } |