debian/0000775000000000000000000000000012321604313007163 5ustar debian/copyright0000664000000000000000000000766412321604313011133 0ustar This package was debianized by the Kubuntu Developers on Fri, 26 Jun 2011 20:19:00 +0200. It was downloaded from ftp://ftp.kde.org Upstream Authors: Copyright 1984 BYTE Publications, subsidiary of McGraw-Hill Inc. Copyright 1996 by Matthias Ettrich Copyright 1997,1998 by Lars Doelle Copyright 2000-2001 Lubos Lunak Copyright 2000 by Stephan Kulow Copyright 2001 Oswald Buddenhagen Copyright 2002 Carsten Pfeiffer Copyright 2002 Waldo Bastian Copyright 2005 by Maksim Orlovich Copyright 2006-2008 by Robert Knight Copyright 2009 by Thomas Dreibholz Copyright (C) 1989, 1991 Free Software Foundation, Inc Copyright (c) 1998 by Lars Doelle Copyright (C) 2009 Patrick Spendrin Copyright 2010 by Kurt Hindenburg Copyright: License for all components unless stated otherwise: -- GNU General Public License, version 2 or later (GPL-2+) On Debian systems, the complete text of the GNU General Public License version 2 can be found in /usr/share/common-licenses/GPL-2 -- Other used licenses: -- GNU Library General Public License, version 2 (LGPL-2) The following files are licensed under this license: src/ZModemDialog.h src/ZModemDialog.cpp On Debian systems, the complete text of the GNU Library General Public License version 2 can be found in /usr/share/common-licenses/LGPL-2 -- -- GNU Library General Public License, version 2 or later (LGPL-2+) src/TerminalCharacterDecoder.cpp src/TerminalCharacterDecoder.h On Debian systems, the complete text of the GNU Library General Public License version 2 can be found in /usr/share/common-licenses/LGPL-2 -- -- MIT-like License (MIT) The following file is licensed under this license: src/XKB.cpp Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. ------ docs/ ------ -- Copyright © 2000, 2001, 2002 Jonathan Singer Copyright © 2005, 2008, 2009, 2010 Kurt Hindenburg Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License". On Debian systems, the complete text of the GNU Free Documentation License version 1.2 can be found in /usr/share/common-licenses/GFDL-1.2 -- ------------------------------------------------------------------------------- The Debian packaging is Copyright (C) 2007-2010, Debian Qt/KDE Maintainers , (C) 2011 Kubuntu Developers and is licensed under the GPL, see `/usr/share/common-licenses/GPL\'. debian/watch0000664000000000000000000000012212321604313010207 0ustar version=3 ftp://ftp.kde.org/pub/kde/stable/([\d\.]*)/src/konsole-([\d\.]*).tar.xz debian/rules0000775000000000000000000000041012321604313010236 0ustar #!/usr/bin/make -f include /usr/share/pkg-kde-tools/qt-kde-team/2/debian-qt-kde.mk override_dh_auto_configure: $(overridden_command) -- -DKDE4_BUILD_TESTS=false .PHONY: override_dh_auto_test override_dh_strip: $(overridden_command) --dbg-package=konsole-dbg debian/source/0000775000000000000000000000000012321604313010463 5ustar debian/source/format0000664000000000000000000000001412321604313011671 0ustar 3.0 (quilt) debian/changelog0000664000000000000000000003052312321604313011040 0ustar konsole (4:4.13.0-0ubuntu1) trusty; urgency=medium * New upstream KDE Software Compilation release -- Jonathan Riddell Thu, 10 Apr 2014 22:10:34 +0100 konsole (4:4.12.97-0ubuntu1) trusty; urgency=medium * New upstream release candidate -- Philip Muškovac Wed, 02 Apr 2014 11:35:18 +0200 konsole (4:4.12.95-0ubuntu1) trusty; urgency=medium * New upstream beta release -- Rohan Garg Sun, 23 Mar 2014 12:36:42 +0100 konsole (4:4.12.90-0ubuntu1) trusty; urgency=medium [ Rohan Garg ] * Update install file [ Jonathan Riddell ] * New upstream beta release -- Jonathan Riddell Wed, 19 Mar 2014 11:07:26 +0000 konsole (4:4.12.3-0ubuntu1) trusty; urgency=medium * New upstream bugfix release -- Rohan Garg Tue, 04 Mar 2014 20:57:08 +0100 konsole (4:4.12.2-0ubuntu1) trusty; urgency=medium * New upstream bugfix release -- Rohan Garg Wed, 05 Feb 2014 00:09:10 +0000 konsole (4:4.12.1-0ubuntu1) trusty; urgency=low * New upstream bugfix release -- Rohan Garg Thu, 16 Jan 2014 08:24:58 +0000 konsole (4:4.12.0-0ubuntu1) trusty; urgency=low * New upstream release -- Jonathan Riddell Wed, 18 Dec 2013 17:18:28 +0000 konsole (4:4.11.97-0ubuntu1) trusty; urgency=low * New upstream RC release -- Jonathan Riddell Fri, 29 Nov 2013 13:18:45 +0000 konsole (4:4.11.95-0ubuntu1) trusty; urgency=low * New upstream beta release -- Rohan Garg Mon, 25 Nov 2013 18:16:08 +0100 konsole (4:4.11.80-0ubuntu1) trusty; urgency=low [ Rohan Garg ] * New upstream beta release [ Jacky Alciné ] * Update konsole.install with missing color scheme. -- Jacky Alciné Sat, 23 Nov 2013 17:46:20 +0100 konsole (4:4.11.2-0ubuntu1) saucy; urgency=low * New upstream bugfix release -- Jonathan Riddell Mon, 30 Sep 2013 14:34:02 +0100 konsole (4:4.11.1-0ubuntu1) saucy; urgency=low * New upstream bugfix release. -- Philip Muškovac Fri, 06 Sep 2013 22:28:16 +0100 konsole (4:4.11.0-0ubuntu1) saucy; urgency=low [ Howard Chan ] * New upstream release [ Jonathan Riddell ] * New upstream release -- Jonathan Riddell Wed, 14 Aug 2013 00:23:37 +0100 konsole (4:4.10.97-0ubuntu1) saucy; urgency=low * New upstream RC 2 release -- Jonathan Riddell Fri, 26 Jul 2013 19:44:40 +0100 konsole (4:4.10.95-0ubuntu1) saucy; urgency=low * New upstream RC release -- Rohan Garg Fri, 19 Jul 2013 12:32:50 +0000 konsole (4:4.10.90-0ubuntu1) saucy; urgency=low [ Michał Zając ] * New upstream beta release [ Philip Muškovac ] * Add doc picture to konsole.install -- Michał Zając Fri, 28 Jun 2013 18:19:44 +0100 konsole (4:4.10.80-0ubuntu1) saucy; urgency=low [ Rohan Garg ] * New upstream release [ Philip Muškovac ] * Refresh debian-T-addition.diff * Update konsole.install -- Rohan Garg Fri, 21 Jun 2013 01:28:57 +0100 konsole (4:4.10.4-0ubuntu1) saucy-proposed; urgency=low * New upstream bugfix release -- Rohan Garg Fri, 07 Jun 2013 00:39:06 +0100 konsole (4:4.10.3-0ubuntu1) saucy; urgency=low * New upstream release -- Jonathan Riddell Thu, 23 May 2013 11:04:49 +0000 konsole (4:4.10.2-2) experimental; urgency=low * Fixup uploaders field -- Sune Vuorela Thu, 04 Apr 2013 07:13:22 +0000 konsole (4:4.10.2-1) experimental; urgency=low * New upstream release. - Fixes homedir fallback. (Closes: #586030) [ José Manuel Santamaría Lema ] * Bump kde-sc-dev-latest build dependency to version 4:4.10.1. * Update patches: - drop one_profile_per_window.diff, problem solved upstream. - drop upstream_No-need-to-lookup-executable-PATH-when-absolute-path.patch, no longer needed. - refresh debian-T-addition.diff. * Update installed files. * Add a lintian override for no-symbols-control-file. [ Josep Febrer ] * Refresh patch debian-T-addition.diff. * Bump kdelibs5-dev and libkonq5-dev to 4:4.10. * Update installed files. * Pass -DKDE4_BUILD_TESTS=false to cmake in order to keep the tests disabled. [ Sune Vuorela ] * Update uploaders -- Sune Vuorela Wed, 03 Apr 2013 18:25:01 +0000 konsole (4:4.10.2-0ubuntu1) raring; urgency=low * New upstream bugfix release -- Philip Muškovac Sun, 31 Mar 2013 14:54:08 +0200 konsole (4:4.10.1-0ubuntu1) raring-proposed; urgency=low * New upstream bugfix release -- Philip Muškovac Tue, 05 Mar 2013 16:35:14 +0000 konsole (4:4.10.0-0ubuntu1) raring-proposed; urgency=low [ Rohan Garg ] * New upstream release [ Philip Muškovac ] * Update konsole.install and sort it -- Rohan Garg Wed, 06 Feb 2013 12:00:15 +0000 konsole (4:4.9.98-0ubuntu1) raring-proposed; urgency=low * New upstream release candidate -- Jonathan Riddell Fri, 18 Jan 2013 15:48:29 +0000 konsole (4:4.9.97-0ubuntu1) raring; urgency=low * New upstream release candidate -- Philip Muškovac Thu, 03 Jan 2013 22:40:13 +0100 konsole (4:4.9.95-0ubuntu1) raring; urgency=low * New upstream RC release -- Jonathan Riddell Tue, 18 Dec 2012 23:36:34 +0000 konsole (4:4.9.90-0ubuntu1) raring-proposed; urgency=low * New upstream beta release -- Jonathan Riddell Fri, 07 Dec 2012 18:02:30 +0000 konsole (4:4.9.80-0ubuntu1) raring; urgency=low * New upstream beta release * Remove ControlDragSettings.diff now upstream -- Jonathan Riddell Mon, 19 Nov 2012 16:01:56 +0000 konsole (4:4.9.3-0ubuntu1) raring; urgency=low * New upstream release (LP: #1074747) -- Philip Muškovac Tue, 06 Nov 2012 22:39:18 +0100 konsole (4:4.9.2-0ubuntu1) quantal-proposed; urgency=low * New upstream bugfix release -- Jonathan Riddell Tue, 02 Oct 2012 15:30:51 +0100 konsole (4:4.9.1-0ubuntu1) quantal; urgency=low * New upstream release -- Harald Sitter Mon, 10 Sep 2012 18:35:48 +0530 konsole (4:4.9.0-0ubuntu1) quantal; urgency=low * Use direct build-depends versions rather than kde-sc-dev-latest * New upstream release * New upstream release -- Jonathan Riddell Thu, 26 Jul 2012 22:29:34 +0100 konsole (4:4.8.90-0ubuntu2) quantal; urgency=low * Backport Git commit ed31a8b0aa6fcd45177202a60db7167e2498c80f from master (to be KDE SC 4.10) - Adds a GUI checkbox per profile to enable/disable requiring the CTRL key to drag-n-drop text. The default is to require the CTRL key as before. -- Scott Kitterman Fri, 06 Jul 2012 17:21:45 -0400 konsole (4:4.8.90-0ubuntu1) quantal; urgency=low * New upstream beta release. -- Felix Geyer Mon, 11 Jun 2012 23:34:57 +0200 konsole (4:4.8.80-0ubuntu1) quantal; urgency=low * New upstream release -- Jonathan Riddell Wed, 06 Jun 2012 14:29:24 +0100 konsole (4:4.8.4-3) unstable; urgency=low * Team upload. [ Maximiliano Curia ] * Reduces vertical misalignment (Closes: #672554) - Add drawText-alignBottom.diff, this adds alignBottom flag to the bidirectional renderer. - Add avoid-lineSpacing.diff, this reverts the added linespacing for the unidirectional renderer. -- Maximiliano Curia Tue, 19 Feb 2013 12:44:09 +0100 konsole (4:4.8.4-2) unstable; urgency=low * Team upload. [ Lisandro Damián Nicanor Pérez Meyer ] * konsole-dbg now recommends kdelibs5-dbg. [ Pino Toscano ] * Backport upstream commit e48cee6cca742a5bdb3daf6fa0b7c76073217faa to avoid looking up executables when an absolute path is specified; patch upstream_No-need-to-lookup-executable-PATH-when-absolute-path.patch. -- Pino Toscano Sat, 08 Dec 2012 13:18:32 +0100 konsole (4:4.8.4-1) unstable; urgency=low * New upstream release. * Team upload. [ Eshat Cakar ] * Add watch file. * Bump kde-sc-dev-latest build dependency to version 4:4.8.4. * Fix lintian maintainer-script-without-set-e message. [ José Manuel Santamaría Lema ] * Add one_profile_per_window.diff, this allows one to open new tabs with ctrl+shift+t in a remote shell. -- Modestas Vainius Sun, 10 Jun 2012 15:13:29 +0300 konsole (4:4.8.3-1) experimental; urgency=low * New upstream release: - konsole does not require a restart to use newly installed fonts. (Closes: #457218) - konsole does not fail to draw bright colors in screen when TERM is set to xterm-256colors. (Closes: #531752) - "Show in menu" works even with languages than English. (Closes: #576148) - konsole correctly sets the number of terminal lines and columns. (Closes: #606617) * Team upload. [ Eshat Cakar ] * Bump kde-sc-dev-latest build dependency to version 4:4.8.3. * Bump Standards-Version to 3.9.3, no changes needed. [ Modestas Vainius ] * Add myself to Uploaders. -- Modestas Vainius Sun, 27 May 2012 15:44:15 +0300 konsole (4:4.8.3-0ubuntu1) quantal; urgency=low * New upstream release -- Jonathan Kolberg Thu, 03 May 2012 20:46:30 +0200 konsole (4:4.8.2-0ubuntu1) precise; urgency=low * New upstream release -- Philip Muškovac Mon, 02 Apr 2012 18:49:48 +0200 konsole (4:4.8.1-0ubuntu1) precise; urgency=low * New upstream release -- Philip Muškovac Sun, 04 Mar 2012 20:39:13 +0100 konsole (4:4.8.0-0ubuntu1) precise; urgency=low * New upstream release -- Jonathan Riddell Fri, 20 Jan 2012 12:10:32 +0000 konsole (4:4.7.97-0ubuntu1) precise; urgency=low * New upstream release candidate -- Jonathan Riddell Thu, 05 Jan 2012 12:18:30 +0000 konsole (4:4.7.95-0ubuntu1) precise; urgency=low * New upstream release candidate -- Philip Muškovac Sat, 24 Dec 2011 20:44:01 +0100 konsole (4:4.7.90-0ubuntu1) precise; urgency=low * New upstream beta release -- Jonathan Riddell Fri, 16 Dec 2011 13:14:43 +0000 konsole (4:4.7.4-2) unstable; urgency=low * Team upload. Upload to unstable. -- Ana Beatriz Guerrero Lopez Tue, 06 Mar 2012 11:47:50 +0100 konsole (4:4.7.4-1) experimental; urgency=low * New upstream release. -- Debian Qt/KDE Maintainers Sun, 18 Dec 2011 01:36:53 +0100 konsole (4:4.7.3-0ubuntu1) precise; urgency=low * New upstream release * Merge with Debian Git, no changes -- Jonathan Riddell Wed, 23 Nov 2011 23:47:03 +0000 konsole (4:4.7.2-1) experimental; urgency=low [ Eshat Cakar ] * Initial release. Start from the Ubuntu packaging, thanks! -- Debian Qt/KDE Maintainers Sat, 03 Dec 2011 10:46:16 -0300 konsole (4:4.7.2-0r1) raring; urgency=low * Initial release. Start from the Ubuntu packaging, thanks! -- Eshat Cakar Tue, 04 Oct 2011 17:46:40 +0200 konsole (4:4.7.2-0ubuntu1) oneiric-proposed; urgency=low [ Rohan Garg ] * New upstream release (LP: #872506) [ Philip Muškovac ] * Add libx11-dev to build-deps so XKB is found. -- Philip Muškovac Tue, 18 Oct 2011 07:28:12 +0200 konsole (4:4.7.1-0ubuntu2) oneiric; urgency=low * No-change rebuild so translations aren't stripped from .desktop files anymore. -- Felix Geyer Fri, 16 Sep 2011 01:01:47 +0200 konsole (4:4.7.1-0ubuntu1) oneiric; urgency=low * New upstream release -- Jonathan Kolberg Thu, 08 Sep 2011 13:18:47 -0400 konsole (4:4.7.0-0ubuntu1) oneiric; urgency=low [ Jonathan Thomas ] * New upstream release [ Felix Geyer ] * Fix dependency from konsole-dbg on konsole. -- Felix Geyer Fri, 29 Jul 2011 11:21:21 +0200 konsole (4:4.6.90+repack-0ubuntu1) oneiric; urgency=low * New upstream release candidate - update for split packaging * Repack upstream tar to include COPYING files -- Philip Muškovac Fri, 08 Jul 2011 12:41:10 +0200 debian/konsole.lintian-overrides0000664000000000000000000000042712321604313014220 0ustar konsole: package-name-doesnt-match-sonames libkonsoleprivate konsole: shlib-without-versioned-soname usr/lib/libkonsoleprivate.so libkonsoleprivate.so konsole: postinst-must-call-ldconfig usr/lib/libkonsoleprivate.so konsole: no-symbols-control-file usr/lib/libkonsoleprivate.so debian/compat0000664000000000000000000000000212321604313010361 0ustar 7 debian/konsole.postinst0000664000000000000000000000053512321604313012445 0ustar #! /bin/sh set -e case "$1" in configure) update-alternatives --install /usr/bin/x-terminal-emulator \ x-terminal-emulator /usr/bin/konsole 40 ;; abort-upgrade|abort-remove|abort-deconfigure) ;; *) echo "postinst called with unknown argument \`$1'" >&2 exit 1 ;; esac #DEBHELPER# exit 0 debian/control0000664000000000000000000000332612321604313010572 0ustar Source: konsole Section: kde Priority: optional Maintainer: Kubuntu Developers XSBC-Original-Maintainer: Debian Qt/KDE Maintainers Uploaders: Sune Vuorela , Eshat Cakar , Modestas Vainius Build-Depends: kde-sc-dev-latest (>= 4:4.10.1), cmake, debhelper (>= 7.3.16), pkg-kde-tools (>= 0.12), kdelibs5-dev (>= 4:4.13.0), libkonq5-dev (>= 4:4.13.0), libphonon-dev (>= 4:4.3.0), libxkbfile-dev Standards-Version: 3.9.3 Homepage: http://www.kde.org/ Vcs-Browser: http://bazaar.launchpad.net/~kubuntu-packagers/kubuntu-packaging/konsole Vcs-Bzr: https://code.launchpad.net/~kubuntu-packagers/kubuntu-packaging/konsole X-Debian-Vcs-Browser: http://git.debian.org/?p=pkg-kde/kde-sc/konsole.git X-Debian-Vcs-Git: git://git.debian.org/pkg-kde/kde-sc/konsole.git Package: konsole Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Provides: x-terminal-emulator Description: X terminal emulator Konsole is a terminal emulator built on the KDE Platform. It can contain multiple terminal sessions inside one window using detachable tabs. . Konsole supports powerful terminal features, such as customizable schemes, saved sessions, and output monitoring. . This package is part of the KDE base applications module. Package: konsole-dbg Section: debug Architecture: any Priority: extra Depends: ${misc:Depends}, konsole (= ${binary:Version}) Breaks: kdebase-dbg (<< 4:4.6.80) Replaces: kdebase-dbg (<< 4:4.6.80) Recommends: kdelibs5-dbg Description: debugging symbols for the KDE X terminal emulator This package contains debugging files used to investigate problems with binaries included in the KDE X terminal emulator. debian/konsole.prerm0000664000000000000000000000045712321604313011712 0ustar #! /bin/sh set -e case "$1" in remove) update-alternatives --remove x-terminal-emulator /usr/bin/konsole ;; upgrade|deconfigure) ;; failed-upgrade) ;; *) echo "prerm called with unknown argument \`$1'" >&2 exit 1 ;; esac #DEBHELPER# exit 0 debian/patches/0000775000000000000000000000000012321604313010612 5ustar debian/patches/series0000664000000000000000000000002712321604313012026 0ustar debian-T-addition.diff debian/patches/debian-T-addition.diff0000664000000000000000000000117312321604313014662 0ustar Index: b/src/main.cpp =================================================================== --- a/src/main.cpp +++ b/src/main.cpp @@ -184,6 +184,7 @@ void fillCommandLineOptions(KCmdLineOpti " (for use with -p)")); options.add("p ", ki18nc("@info:shell", "Change the value of a profile property.")); + options.add("T ", ki18n("Debian policy compatibility, not used")); options.add("!e ", ki18nc("@info:shell", "Command to execute. This option will catch all following" " arguments, so use it as the last option.")); debian/not-installed0000664000000000000000000000007212321604313011662 0ustar # moved by pkg-kde-tools ./usr/lib/libkdeinit4_konsole.so debian/konsole.install0000664000000000000000000000352312321604313012230 0ustar usr/bin/konsole usr/bin/konsoleprofile usr/lib/kde4/libkonsolepart.so usr/lib/libkdeinit4_konsole.so usr/lib/libkonsoleprivate.so usr/share/applications/kde4/konsole.desktop usr/share/doc/kde/HTML/en/konsole/common usr/share/doc/kde/HTML/en/konsole/draganddrop-contextmenu.png usr/share/doc/kde/HTML/en/konsole/index.cache.bz2 usr/share/doc/kde/HTML/en/konsole/index.docbook usr/share/kde4/apps/kconf_update/konsole-2.10.0-remove-menuindex-from-profiles.sh usr/share/kde4/apps/kconf_update/konsole-2.9.0-colorscheme-bold-key.sh usr/share/kde4/apps/kconf_update/konsole-2.9.0-global-options.sh usr/share/kde4/apps/kconf_update/konsole.upd usr/share/kde4/apps/kconf_update/konsole_remove_background_mode.upd usr/share/kde4/apps/konsole/BlackOnLightYellow.colorscheme usr/share/kde4/apps/konsole/BlackOnRandomLight.colorscheme usr/share/kde4/apps/konsole/BlackOnWhite.colorscheme usr/share/kde4/apps/konsole/BlueOnBlack.colorscheme usr/share/kde4/apps/konsole/DarkPastels.colorscheme usr/share/kde4/apps/konsole/GreenOnBlack.colorscheme usr/share/kde4/apps/konsole/Linux.colorscheme usr/share/kde4/apps/konsole/README.KeyTab usr/share/kde4/apps/konsole/RedOnBlack.colorscheme usr/share/kde4/apps/konsole/Shell.profile usr/share/kde4/apps/konsole/Solarized.colorscheme usr/share/kde4/apps/konsole/SolarizedLight.colorscheme usr/share/kde4/apps/konsole/WhiteOnBlack.colorscheme usr/share/kde4/apps/konsole/default.keytab usr/share/kde4/apps/konsole/konsole.notifyrc usr/share/kde4/apps/konsole/konsoleui.rc usr/share/kde4/apps/konsole/linux.keytab usr/share/kde4/apps/konsole/partui.rc usr/share/kde4/apps/konsole/sessionui.rc usr/share/kde4/apps/konsole/solaris.keytab usr/share/kde4/services/ServiceMenus/konsolehere.desktop usr/share/kde4/services/ServiceMenus/konsolerun.desktop usr/share/kde4/services/konsolepart.desktop usr/share/kde4/servicetypes/terminalemulator.desktop