diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-21 11:29:14 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-21 11:29:14 +0000 |
| commit | ee5040421ff442ec62db25f35874d9a27f9a646f (patch) | |
| tree | 3bba5df90c3834cd55c507743448d414c4cb4ab9 | |
| parent | 1bdc152931b2da66d896199e22defa70eaec9eff (diff) | |
| download | guix-ee5040421ff442ec62db25f35874d9a27f9a646f.tar.gz | |
* Try konsole and gnome-terminal in addition to xterm.
| -rw-r--r-- | scripts/nix-install-package.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/nix-install-package.in b/scripts/nix-install-package.in index f067af43d9..7959070c0a 100644 --- a/scripts/nix-install-package.in +++ b/scripts/nix-install-package.in @@ -12,7 +12,9 @@ die unless defined $pkgFile; if (!defined $ENV{"NIX_HAVE_TERMINAL"}) { $ENV{"NIX_HAVE_TERMINAL"} = "1"; $ENV{"LD_LIBRARY_PATH"} = ""; - exec("xterm", "-e", "@shell@", "-c", "@bindir@/nix-install-package '$pkgFile' || read"); + foreach my $term ("konsole", "gnome-terminal", "xterm") { + exec($term, "-e", "@shell@", "-c", "@bindir@/nix-install-package '$pkgFile' || read"); + } die "cannot execute `xterm'"; } |