2012-01-19 00:55:20 +00:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
|
|
|
|
|
|
|
// Common utils for the extension system and the extension
|
|
|
|
// preferences tool
|
|
|
|
|
|
|
|
const GLib = imports.gi.GLib;
|
|
|
|
const Gio = imports.gi.Gio;
|
|
|
|
const ShellJS = imports.gi.ShellJS;
|
|
|
|
|
|
|
|
const Config = imports.misc.config;
|
|
|
|
|
|
|
|
const ExtensionType = {
|
|
|
|
SYSTEM: 1,
|
|
|
|
PER_USER: 2
|
|
|
|
};
|
|
|
|
|
|
|
|
// GFile for user extensions
|
|
|
|
var userExtensionsDir = null;
|
|
|
|
|
2012-01-31 01:58:29 +00:00
|
|
|
// Maps uuid -> metadata object
|
|
|
|
const extensions = {};
|
|
|
|
|
|
|
|
function getCurrentExtension() {
|
|
|
|
let stack = (new Error()).stack;
|
|
|
|
|
|
|
|
// Assuming we're importing this directly from an extension (and we shouldn't
|
|
|
|
// ever not be), its UUID should be directly in the path here.
|
|
|
|
let extensionStackLine = stack.split('\n')[1];
|
|
|
|
if (!extensionStackLine)
|
|
|
|
throw new Error('Could not find current extension');
|
|
|
|
|
|
|
|
// The stack line is like:
|
|
|
|
// init([object Object])@/home/user/data/gnome-shell/extensions/u@u.id/prefs.js:8
|
|
|
|
//
|
|
|
|
// In the case that we're importing from
|
|
|
|
// module scope, the first field is blank:
|
|
|
|
// @/home/user/data/gnome-shell/extensions/u@u.id/prefs.js:8
|
|
|
|
let match = new RegExp('@(.+):\\d+').exec(extensionStackLine);
|
|
|
|
if (!match)
|
|
|
|
throw new Error('Could not find current extension');
|
|
|
|
|
|
|
|
let path = match[1];
|
2012-05-28 21:21:02 +00:00
|
|
|
let file = Gio.File.new_for_path(path);
|
2012-01-31 01:58:29 +00:00
|
|
|
|
2012-05-28 21:21:02 +00:00
|
|
|
// Walk up the directory tree, looking for an extesion with
|
|
|
|
// the same UUID as a directory name.
|
|
|
|
while (file != null) {
|
|
|
|
let extension = extensions[file.get_basename()];
|
|
|
|
if (extension !== undefined)
|
|
|
|
return extension;
|
|
|
|
file = file.get_parent();
|
|
|
|
}
|
2012-01-31 01:58:29 +00:00
|
|
|
|
2012-05-28 21:21:02 +00:00
|
|
|
throw new Error('Could not find current extension');
|
2012-01-31 01:58:29 +00:00
|
|
|
}
|
|
|
|
|
2012-01-19 00:55:20 +00:00
|
|
|
/**
|
|
|
|
* versionCheck:
|
|
|
|
* @required: an array of versions we're compatible with
|
|
|
|
* @current: the version we have
|
|
|
|
*
|
|
|
|
* Check if a component is compatible for an extension.
|
|
|
|
* @required is an array, and at least one version must match.
|
|
|
|
* @current must be in the format <major>.<minor>.<point>.<micro>
|
|
|
|
* <micro> is always ignored
|
|
|
|
* <point> is ignored if <minor> is even (so you can target the
|
|
|
|
* whole stable release)
|
|
|
|
* <minor> and <major> must match
|
|
|
|
* Each target version must be at least <major> and <minor>
|
|
|
|
*/
|
|
|
|
function versionCheck(required, current) {
|
|
|
|
let currentArray = current.split('.');
|
|
|
|
let major = currentArray[0];
|
|
|
|
let minor = currentArray[1];
|
|
|
|
let point = currentArray[2];
|
|
|
|
for (let i = 0; i < required.length; i++) {
|
|
|
|
let requiredArray = required[i].split('.');
|
|
|
|
if (requiredArray[0] == major &&
|
|
|
|
requiredArray[1] == minor &&
|
|
|
|
(requiredArray[2] == point ||
|
|
|
|
(requiredArray[2] == undefined && parseInt(minor) % 2 == 0)))
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2012-01-31 01:58:29 +00:00
|
|
|
function isOutOfDate(extension) {
|
|
|
|
if (!versionCheck(extension.metadata['shell-version'], Config.PACKAGE_VERSION))
|
2012-01-19 00:55:20 +00:00
|
|
|
return true;
|
|
|
|
|
2012-01-31 01:58:29 +00:00
|
|
|
if (extension.metadata['js-version'] && !versionCheck(extension.metadata['js-version'], Config.GJS_VERSION))
|
2012-01-19 00:55:20 +00:00
|
|
|
return true;
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2012-01-31 01:58:29 +00:00
|
|
|
function createExtensionObject(uuid, dir, type) {
|
2012-01-19 00:55:20 +00:00
|
|
|
let info;
|
|
|
|
|
|
|
|
let metadataFile = dir.get_child('metadata.json');
|
|
|
|
if (!metadataFile.query_exists(null)) {
|
|
|
|
throw new Error('Missing metadata.json');
|
|
|
|
}
|
|
|
|
|
|
|
|
let metadataContents, success, tag;
|
|
|
|
try {
|
|
|
|
[success, metadataContents, tag] = metadataFile.load_contents(null);
|
|
|
|
} catch (e) {
|
|
|
|
throw new Error('Failed to load metadata.json: ' + e);
|
|
|
|
}
|
|
|
|
let meta;
|
|
|
|
try {
|
|
|
|
meta = JSON.parse(metadataContents);
|
|
|
|
} catch (e) {
|
|
|
|
throw new Error('Failed to parse metadata.json: ' + e);
|
|
|
|
}
|
|
|
|
|
|
|
|
let requiredProperties = ['uuid', 'name', 'description', 'shell-version'];
|
|
|
|
for (let i = 0; i < requiredProperties.length; i++) {
|
|
|
|
let prop = requiredProperties[i];
|
|
|
|
if (!meta[prop]) {
|
|
|
|
throw new Error('missing "' + prop + '" property in metadata.json');
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Encourage people to add this
|
|
|
|
if (!meta.url) {
|
2012-05-10 01:37:42 +00:00
|
|
|
log('Warning: Missing "url" property in %s/metadata.json'.format(uuid));
|
2012-01-19 00:55:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if (uuid != meta.uuid) {
|
|
|
|
throw new Error('uuid "' + meta.uuid + '" from metadata.json does not match directory name "' + uuid + '"');
|
|
|
|
}
|
|
|
|
|
2012-01-31 01:58:29 +00:00
|
|
|
let extension = {};
|
|
|
|
|
|
|
|
extension.metadata = meta;
|
|
|
|
extension.uuid = meta.uuid;
|
|
|
|
extension.type = type;
|
|
|
|
extension.dir = dir;
|
|
|
|
extension.path = dir.get_path();
|
|
|
|
extension.error = '';
|
|
|
|
extension.hasPrefs = dir.get_child('prefs.js').query_exists(null);
|
|
|
|
|
|
|
|
extensions[uuid] = extension;
|
2012-01-19 00:55:20 +00:00
|
|
|
|
2012-01-31 01:58:29 +00:00
|
|
|
return extension;
|
2012-01-19 00:55:20 +00:00
|
|
|
}
|
|
|
|
|
2012-01-31 01:58:29 +00:00
|
|
|
var _extension = null;
|
2012-01-19 00:55:20 +00:00
|
|
|
|
2012-01-31 01:58:29 +00:00
|
|
|
function installImporter(extension) {
|
|
|
|
_extension = extension;
|
|
|
|
ShellJS.add_extension_importer('imports.misc.extensionUtils._extension', 'imports', extension.path);
|
|
|
|
_extension = null;
|
2012-01-19 00:55:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
function init() {
|
|
|
|
let userExtensionsPath = GLib.build_filenamev([global.userdatadir, 'extensions']);
|
|
|
|
userExtensionsDir = Gio.file_new_for_path(userExtensionsPath);
|
|
|
|
try {
|
|
|
|
if (!userExtensionsDir.query_exists(null))
|
|
|
|
userExtensionsDir.make_directory_with_parents(null);
|
|
|
|
} catch (e) {
|
2012-05-10 01:37:42 +00:00
|
|
|
logError(e, 'Could not create extensions directory');
|
2012-01-19 00:55:20 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function scanExtensionsInDirectory(callback, dir, type) {
|
|
|
|
let fileEnum;
|
|
|
|
let file, info;
|
|
|
|
try {
|
|
|
|
fileEnum = dir.enumerate_children('standard::*', Gio.FileQueryInfoFlags.NONE, null);
|
|
|
|
} catch(e) {
|
2012-05-10 01:37:42 +00:00
|
|
|
logError(e, 'Could not enumerate extensions directory');
|
2012-01-19 00:55:20 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
while ((info = fileEnum.next_file(null)) != null) {
|
|
|
|
let fileType = info.get_file_type();
|
|
|
|
if (fileType != Gio.FileType.DIRECTORY)
|
|
|
|
continue;
|
|
|
|
let uuid = info.get_name();
|
|
|
|
let extensionDir = dir.get_child(uuid);
|
|
|
|
callback(uuid, extensionDir, type);
|
|
|
|
}
|
|
|
|
fileEnum.close(null);
|
|
|
|
}
|
|
|
|
|
|
|
|
function scanExtensions(callback) {
|
|
|
|
let systemDataDirs = GLib.get_system_data_dirs();
|
2012-04-06 18:02:23 +00:00
|
|
|
scanExtensionsInDirectory(callback, userExtensionsDir, ExtensionType.PER_USER);
|
2012-01-19 00:55:20 +00:00
|
|
|
for (let i = 0; i < systemDataDirs.length; i++) {
|
|
|
|
let dirPath = GLib.build_filenamev([systemDataDirs[i], 'gnome-shell', 'extensions']);
|
|
|
|
let dir = Gio.file_new_for_path(dirPath);
|
|
|
|
if (dir.query_exists(null))
|
|
|
|
scanExtensionsInDirectory(callback, dir, ExtensionType.SYSTEM);
|
|
|
|
}
|
|
|
|
}
|