2011-09-28 09:16:26 -04:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
2008-11-19 18:21:42 -05:00
|
|
|
|
|
|
|
const Clutter = imports.gi.Clutter;
|
2009-12-17 17:12:46 -05:00
|
|
|
const Gio = imports.gi.Gio;
|
2009-08-10 15:49:25 -04:00
|
|
|
const GLib = imports.gi.GLib;
|
2009-08-03 17:52:45 -04:00
|
|
|
const Lang = imports.lang;
|
2009-09-15 17:40:26 -04:00
|
|
|
const Meta = imports.gi.Meta;
|
2010-02-09 12:42:07 -05:00
|
|
|
const St = imports.gi.St;
|
2009-02-02 18:02:16 -05:00
|
|
|
const Shell = imports.gi.Shell;
|
|
|
|
const Signals = imports.signals;
|
2008-11-19 18:21:42 -05:00
|
|
|
|
2011-01-17 16:30:12 -05:00
|
|
|
const FileUtils = imports.misc.fileUtils;
|
2008-11-19 18:21:42 -05:00
|
|
|
const Main = imports.ui.main;
|
2010-12-06 14:41:06 -05:00
|
|
|
const ModalDialog = imports.ui.modalDialog;
|
2011-10-11 18:38:24 -04:00
|
|
|
const ShellEntry = imports.ui.shellEntry;
|
2010-03-17 10:36:57 -04:00
|
|
|
const Tweener = imports.ui.tweener;
|
2010-11-17 11:43:08 -05:00
|
|
|
const Util = imports.misc.util;
|
2011-02-13 11:42:04 -05:00
|
|
|
const History = imports.misc.history;
|
2008-11-19 18:21:42 -05:00
|
|
|
|
2017-07-18 13:47:27 -04:00
|
|
|
var MAX_FILE_DELETED_BEFORE_INVALID = 10;
|
2009-12-17 17:12:46 -05:00
|
|
|
|
2010-05-05 17:05:42 -04:00
|
|
|
const HISTORY_KEY = 'command-history';
|
2010-03-17 11:22:27 -04:00
|
|
|
|
2011-03-21 09:06:35 -04:00
|
|
|
const LOCKDOWN_SCHEMA = 'org.gnome.desktop.lockdown';
|
|
|
|
const DISABLE_COMMAND_LINE_KEY = 'disable-command-line';
|
|
|
|
|
2011-06-01 07:39:11 -04:00
|
|
|
const TERMINAL_SCHEMA = 'org.gnome.desktop.default-applications.terminal';
|
|
|
|
const EXEC_KEY = 'exec';
|
|
|
|
const EXEC_ARG_KEY = 'exec-arg';
|
|
|
|
|
2017-07-18 13:47:27 -04:00
|
|
|
var DIALOG_GROW_TIME = 0.1;
|
2010-12-06 14:41:45 -05:00
|
|
|
|
2017-07-18 13:41:25 -04:00
|
|
|
var RunDialog = new Lang.Class({
|
2011-11-20 11:07:14 -05:00
|
|
|
Name: 'RunDialog',
|
|
|
|
Extends: ModalDialog.ModalDialog,
|
2008-11-19 18:21:42 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_init() {
|
2013-04-06 11:09:06 -04:00
|
|
|
this.parent({ styleClass: 'run-dialog',
|
|
|
|
destroyOnClose: false });
|
2009-08-03 17:52:45 -04:00
|
|
|
|
2014-06-24 15:17:09 -04:00
|
|
|
this._lockdownSettings = new Gio.Settings({ schema_id: LOCKDOWN_SCHEMA });
|
|
|
|
this._terminalSettings = new Gio.Settings({ schema_id: TERMINAL_SCHEMA });
|
2017-10-30 20:38:18 -04:00
|
|
|
global.settings.connect('changed::development-tools', () => {
|
2010-05-05 17:05:42 -04:00
|
|
|
this._enableInternalCommands = global.settings.get_boolean('development-tools');
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2010-05-05 17:05:42 -04:00
|
|
|
this._enableInternalCommands = global.settings.get_boolean('development-tools');
|
2010-03-17 11:22:27 -04:00
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
this._internalCommands = { 'lg': () => {
|
2009-09-15 15:53:07 -04:00
|
|
|
Main.createLookingGlass().open();
|
2017-10-30 20:38:18 -04:00
|
|
|
},
|
2009-08-26 18:43:44 -04:00
|
|
|
|
2017-12-01 19:27:35 -05:00
|
|
|
'r': this._restart.bind(this),
|
2009-08-26 18:43:44 -04:00
|
|
|
|
|
|
|
// Developer brain backwards compatibility
|
2017-12-01 19:27:35 -05:00
|
|
|
'restart': this._restart.bind(this),
|
2009-09-15 17:40:26 -04:00
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
'debugexit': () => {
|
2011-05-05 18:09:59 -04:00
|
|
|
Meta.quit(Meta.ExitCode.ERROR);
|
2017-10-30 20:38:18 -04:00
|
|
|
},
|
2011-01-04 14:34:54 -05:00
|
|
|
|
|
|
|
// rt is short for "reload theme"
|
2017-10-30 20:38:18 -04:00
|
|
|
'rt': () => {
|
2015-10-21 13:27:19 -04:00
|
|
|
Main.reloadThemeResource();
|
2011-01-04 14:34:54 -05:00
|
|
|
Main.loadTheme();
|
2018-07-27 12:30:22 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
'check_cloexec_fds': () => {
|
|
|
|
Shell.util_check_cloexec_fds();
|
|
|
|
},
|
2009-08-03 17:52:45 -04:00
|
|
|
};
|
|
|
|
|
2009-09-08 14:04:18 -04:00
|
|
|
|
2010-02-26 11:32:38 -05:00
|
|
|
let label = new St.Label({ style_class: 'run-dialog-label',
|
2012-10-29 12:33:21 -04:00
|
|
|
text: _("Enter a Command") });
|
2009-09-08 14:04:18 -04:00
|
|
|
|
2013-11-18 07:53:27 -05:00
|
|
|
this.contentLayout.add(label, { x_fill: false,
|
|
|
|
x_align: St.Align.START,
|
|
|
|
y_align: St.Align.START });
|
2008-12-01 14:51:43 -05:00
|
|
|
|
2012-10-29 14:21:48 -04:00
|
|
|
let entry = new St.Entry({ style_class: 'run-dialog-entry',
|
|
|
|
can_focus: true });
|
2011-10-11 18:38:24 -04:00
|
|
|
ShellEntry.addContextMenu(entry);
|
2009-09-08 14:04:18 -04:00
|
|
|
|
2012-03-09 20:27:19 -05:00
|
|
|
entry.label_actor = label;
|
|
|
|
|
2010-02-26 11:32:38 -05:00
|
|
|
this._entryText = entry.clutter_text;
|
2010-12-06 14:41:06 -05:00
|
|
|
this.contentLayout.add(entry, { y_align: St.Align.START });
|
2011-03-15 16:05:40 -04:00
|
|
|
this.setInitialKeyFocus(this._entryText);
|
2008-12-01 14:51:43 -05:00
|
|
|
|
2011-01-27 15:26:58 -05:00
|
|
|
this._errorBox = new St.BoxLayout({ style_class: 'run-dialog-error-box' });
|
2009-09-08 14:04:18 -04:00
|
|
|
|
2010-12-06 14:41:06 -05:00
|
|
|
this.contentLayout.add(this._errorBox, { expand: true });
|
2009-09-08 14:04:18 -04:00
|
|
|
|
2012-10-16 12:52:01 -04:00
|
|
|
let errorIcon = new St.Icon({ icon_name: 'dialog-error-symbolic',
|
|
|
|
icon_size: 24,
|
|
|
|
style_class: 'run-dialog-error-icon' });
|
2009-09-08 14:04:18 -04:00
|
|
|
|
2011-01-27 15:26:58 -05:00
|
|
|
this._errorBox.add(errorIcon, { y_align: St.Align.MIDDLE });
|
2009-09-08 14:04:18 -04:00
|
|
|
|
|
|
|
this._commandError = false;
|
|
|
|
|
2010-02-26 11:32:38 -05:00
|
|
|
this._errorMessage = new St.Label({ style_class: 'run-dialog-error-label' });
|
|
|
|
this._errorMessage.clutter_text.line_wrap = true;
|
2009-09-08 14:04:18 -04:00
|
|
|
|
2011-01-27 15:56:12 -05:00
|
|
|
this._errorBox.add(this._errorMessage, { expand: true,
|
2013-11-18 07:53:27 -05:00
|
|
|
x_align: St.Align.START,
|
|
|
|
x_fill: false,
|
2011-01-27 15:56:12 -05:00
|
|
|
y_align: St.Align.MIDDLE,
|
|
|
|
y_fill: false });
|
2009-09-08 14:04:18 -04:00
|
|
|
|
|
|
|
this._errorBox.hide();
|
2008-12-01 14:51:43 -05:00
|
|
|
|
2017-12-01 19:27:35 -05:00
|
|
|
this.setButtons([{ action: this.close.bind(this),
|
2012-10-30 10:00:07 -04:00
|
|
|
label: _("Close"),
|
|
|
|
key: Clutter.Escape }]);
|
2012-10-29 12:33:21 -04:00
|
|
|
|
2009-12-17 17:12:46 -05:00
|
|
|
this._pathCompleter = new Gio.FilenameCompleter();
|
2011-02-13 11:42:04 -05:00
|
|
|
|
2011-02-28 12:22:12 -05:00
|
|
|
this._history = new History.HistoryManager({ gsettingsKey: HISTORY_KEY,
|
|
|
|
entry: this._entryText });
|
2018-08-15 09:39:58 -04:00
|
|
|
this._entryText.connect('activate', (o) => {
|
|
|
|
this.popModal();
|
|
|
|
this._run(o.get_text(),
|
|
|
|
Clutter.get_current_event().get_state() & Clutter.ModifierType.CONTROL_MASK);
|
|
|
|
if (!this._commandError ||
|
|
|
|
!this.pushModal())
|
|
|
|
this.close();
|
|
|
|
});
|
2017-10-30 20:38:18 -04:00
|
|
|
this._entryText.connect('key-press-event', (o, e) => {
|
2009-09-08 16:58:57 -04:00
|
|
|
let symbol = e.get_key_symbol();
|
2009-12-17 17:12:46 -05:00
|
|
|
if (symbol == Clutter.Tab) {
|
|
|
|
let text = o.get_text();
|
|
|
|
let prefix;
|
|
|
|
if (text.lastIndexOf(' ') == -1)
|
|
|
|
prefix = text;
|
|
|
|
else
|
|
|
|
prefix = text.substr(text.lastIndexOf(' ') + 1);
|
|
|
|
let postfix = this._getCompletion(prefix);
|
|
|
|
if (postfix != null && postfix.length > 0) {
|
|
|
|
o.insert_text(postfix, -1);
|
|
|
|
o.set_cursor_position(text.length + postfix.length);
|
|
|
|
}
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2009-12-17 17:12:46 -05:00
|
|
|
}
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2008-12-01 14:51:43 -05:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_getCommandCompletion(text) {
|
2013-03-06 21:10:41 -05:00
|
|
|
function _getCommon(s1, s2) {
|
|
|
|
if (s1 == null)
|
|
|
|
return s2;
|
|
|
|
|
|
|
|
let k = 0;
|
|
|
|
for (; k < s1.length && k < s2.length; k++) {
|
|
|
|
if (s1[k] != s2[k])
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (k == 0)
|
|
|
|
return '';
|
|
|
|
return s1.substr(0, k);
|
|
|
|
}
|
|
|
|
|
|
|
|
let paths = GLib.getenv('PATH').split(':');
|
|
|
|
paths.push(GLib.get_home_dir());
|
2017-10-30 20:38:18 -04:00
|
|
|
let someResults = paths.map(path => {
|
2013-03-06 21:10:41 -05:00
|
|
|
let results = [];
|
2013-03-18 10:53:11 -04:00
|
|
|
try {
|
|
|
|
let file = Gio.File.new_for_path(path);
|
|
|
|
let fileEnum = file.enumerate_children('standard::name', Gio.FileQueryInfoFlags.NONE, null);
|
|
|
|
let info;
|
|
|
|
while ((info = fileEnum.next_file(null))) {
|
|
|
|
let name = info.get_name();
|
|
|
|
if (name.slice(0, text.length) == text)
|
|
|
|
results.push(name);
|
|
|
|
}
|
2018-07-14 21:17:42 -04:00
|
|
|
} catch (e) {
|
|
|
|
if (!e.matches(Gio.IOErrorEnum, Gio.IOErrorEnum.NOT_FOUND) &&
|
|
|
|
!e.matches(Gio.IOErrorEnum, Gio.IOErrorEnum.NOT_DIRECTORY))
|
|
|
|
log(e);
|
2013-03-18 10:53:11 -04:00
|
|
|
} finally {
|
|
|
|
return results;
|
2013-03-06 21:10:41 -05:00
|
|
|
}
|
|
|
|
});
|
2017-10-30 20:38:18 -04:00
|
|
|
let results = someResults.reduce((a, b) => a.concat(b), []);
|
2014-08-13 18:13:20 -04:00
|
|
|
|
|
|
|
if (!results.length)
|
|
|
|
return null;
|
|
|
|
|
2013-03-06 21:10:41 -05:00
|
|
|
let common = results.reduce(_getCommon, null);
|
|
|
|
return common.substr(text.length);
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_getCompletion(text) {
|
2009-12-17 17:12:46 -05:00
|
|
|
if (text.indexOf('/') != -1) {
|
|
|
|
return this._pathCompleter.get_completion_suffix(text);
|
|
|
|
} else {
|
2013-03-06 21:10:41 -05:00
|
|
|
return this._getCommandCompletion(text);
|
2009-12-17 17:12:46 -05:00
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_run(input, inTerminal) {
|
2010-02-26 14:07:44 -05:00
|
|
|
let command = input;
|
2010-03-17 11:22:27 -04:00
|
|
|
|
2011-02-13 11:42:04 -05:00
|
|
|
this._history.addItem(input);
|
2009-10-01 17:44:16 -04:00
|
|
|
this._commandError = false;
|
2009-09-14 13:45:49 -04:00
|
|
|
let f;
|
|
|
|
if (this._enableInternalCommands)
|
2010-02-26 14:07:44 -05:00
|
|
|
f = this._internalCommands[input];
|
2009-09-14 13:45:49 -04:00
|
|
|
else
|
|
|
|
f = null;
|
2009-08-03 17:52:45 -04:00
|
|
|
if (f) {
|
|
|
|
f();
|
2010-02-26 14:07:44 -05:00
|
|
|
} else if (input) {
|
2008-12-01 14:51:43 -05:00
|
|
|
try {
|
2011-06-01 07:39:11 -04:00
|
|
|
if (inTerminal) {
|
|
|
|
let exec = this._terminalSettings.get_string(EXEC_KEY);
|
|
|
|
let exec_arg = this._terminalSettings.get_string(EXEC_ARG_KEY);
|
|
|
|
command = exec + ' ' + exec_arg + ' ' + input;
|
|
|
|
}
|
2010-11-17 11:43:08 -05:00
|
|
|
Util.trySpawnCommandLine(command);
|
2008-12-01 14:51:43 -05:00
|
|
|
} catch (e) {
|
2010-02-26 14:07:44 -05:00
|
|
|
// Mmmh, that failed - see if @input matches an existing file
|
|
|
|
let path = null;
|
|
|
|
if (input.charAt(0) == '/') {
|
|
|
|
path = input;
|
|
|
|
} else {
|
|
|
|
if (input.charAt(0) == '~')
|
|
|
|
input = input.slice(1);
|
|
|
|
path = GLib.get_home_dir() + '/' + input;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (GLib.file_test(path, GLib.FileTest.EXISTS)) {
|
|
|
|
let file = Gio.file_new_for_path(path);
|
2011-07-06 15:43:49 -04:00
|
|
|
try {
|
|
|
|
Gio.app_info_launch_default_for_uri(file.get_uri(),
|
2014-01-19 12:34:32 -05:00
|
|
|
global.create_app_launch_context(0, -1));
|
2011-07-06 15:43:49 -04:00
|
|
|
} catch (e) {
|
|
|
|
// The exception from gjs contains an error string like:
|
|
|
|
// Error invoking Gio.app_info_launch_default_for_uri: No application
|
|
|
|
// is registered as handling this file
|
|
|
|
// We are only interested in the part after the first colon.
|
|
|
|
let message = e.message.replace(/[^:]*: *(.+)/, '$1');
|
|
|
|
this._showError(message);
|
2010-12-06 14:41:45 -05:00
|
|
|
}
|
2011-07-06 15:43:49 -04:00
|
|
|
} else {
|
|
|
|
this._showError(e.message);
|
2010-02-26 14:07:44 -05:00
|
|
|
}
|
2008-12-01 14:51:43 -05:00
|
|
|
}
|
2008-11-19 18:21:42 -05:00
|
|
|
}
|
2008-12-01 14:51:43 -05:00
|
|
|
},
|
2008-11-19 18:21:42 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_showError(message) {
|
2011-07-06 15:43:49 -04:00
|
|
|
this._commandError = true;
|
|
|
|
|
|
|
|
this._errorMessage.set_text(message);
|
|
|
|
|
|
|
|
if (!this._errorBox.visible) {
|
|
|
|
let [errorBoxMinHeight, errorBoxNaturalHeight] = this._errorBox.get_preferred_height(-1);
|
|
|
|
|
|
|
|
let parentActor = this._errorBox.get_parent();
|
|
|
|
Tweener.addTween(parentActor,
|
|
|
|
{ height: parentActor.height + errorBoxNaturalHeight,
|
|
|
|
time: DIALOG_GROW_TIME,
|
|
|
|
transition: 'easeOutQuad',
|
2017-10-30 20:38:18 -04:00
|
|
|
onComplete: () => {
|
|
|
|
parentActor.set_height(-1);
|
|
|
|
this._errorBox.show();
|
|
|
|
}
|
2011-07-06 15:43:49 -04:00
|
|
|
});
|
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_restart() {
|
2015-02-27 13:34:45 -05:00
|
|
|
if (Meta.is_wayland_compositor()) {
|
2016-11-17 16:10:00 -05:00
|
|
|
this._showError(_("Restart is not available on Wayland"));
|
2015-02-27 13:34:45 -05:00
|
|
|
return;
|
|
|
|
}
|
2014-05-08 18:56:23 -04:00
|
|
|
this._shouldFadeOut = false;
|
|
|
|
this.close();
|
2014-07-17 02:48:26 -04:00
|
|
|
Meta.restart(_("Restarting…"));
|
2014-05-08 18:56:23 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
open() {
|
2011-02-13 11:42:04 -05:00
|
|
|
this._history.lastItem();
|
2010-12-06 14:41:06 -05:00
|
|
|
this._errorBox.hide();
|
|
|
|
this._entryText.set_text('');
|
|
|
|
this._commandError = false;
|
2010-03-17 11:22:27 -04:00
|
|
|
|
2011-03-21 09:06:35 -04:00
|
|
|
if (this._lockdownSettings.get_boolean(DISABLE_COMMAND_LINE_KEY))
|
|
|
|
return;
|
|
|
|
|
2011-11-20 11:07:14 -05:00
|
|
|
this.parent();
|
2008-12-01 14:51:43 -05:00
|
|
|
},
|
2011-11-20 11:07:14 -05:00
|
|
|
});
|
2008-11-20 10:40:44 -05:00
|
|
|
Signals.addSignalMethods(RunDialog.prototype);
|