Add multi-gnome-terminal 1.3.13, gnome tabbed terminal emulator.

PR:		35376
Submitted by:	Frederic Dubuy <fdubuy@free.fr>
This commit is contained in:
Cy Schubert 2002-03-20 02:18:29 +00:00
parent 4fc54d85b6
commit 77e81de385
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=56363
7 changed files with 270 additions and 0 deletions

View file

@ -64,6 +64,7 @@
SUBDIR += lupe
SUBDIR += mgapdesk
SUBDIR += mlterm
SUBDIR += multi-gnome-terminal
SUBDIR += offix-clipboard
SUBDIR += offix-execute
SUBDIR += p5-X11-Protocol

View file

@ -0,0 +1,28 @@
# New ports collection makefile for: multi-gnome-terminal
# Date created: 19 March 2002
# Whom: Frederic Dubuy <fdubuy@free.fr>
#
# $FreeBSD$
#
PORTNAME= multi-gnome-terminal
PORTVERSION= 1.3.13
CATEGORIES= x11 gnome
MASTER_SITES= http://multignometerm.sourceforge.net/
MAINTAINER= fdubuy@free.fr
BUILD_DEPENDS= scrollkeeper-config:${PORTSDIR}/textproc/scrollkeeper
LIB_DEPENDS+= xml.5:${PORTSDIR}/textproc/libxml \
ORBit.2:${PORTSDIR}/devel/ORBit
RUN_DEPENDS= scrollkeeper-config:${PORTSDIR}/textproc/scrollkeeper
USE_X_PREFIX= yes
USE_GTK= yes
USE_GNOME= yes
USE_GMAKE= yes
GNU_CONFIGURE= yes
MAN1= multi-gnome-terminal.1
.include <bsd.port.mk>

View file

@ -0,0 +1 @@
MD5 (multi-gnome-terminal-1.3.13.tar.gz) = 0d5846e820773382922d3a18a8ec0525

View file

@ -0,0 +1,17 @@
--- gnome-terminal/subshell-includes.h.orig Wed Feb 27 12:15:48 2002
+++ gnome-terminal/subshell-includes.h Wed Feb 27 12:18:28 2002
@@ -55,9 +55,13 @@
# endif
#else
/*# include <grp.h>*/ /* For the group struct & getgrnam() */
+# ifndef HAVE_SENDMSG
# include <stropts.h>
+# endif
#endif
+#ifndef HAVE_SENDMSG
# include <stropts.h>
+#endif
#ifdef SCO_FLAVOR
# include <grp.h> /* For the group struct & getgrnam() */

View file

@ -0,0 +1 @@
Gnome tabbed terminal emulator

View file

@ -0,0 +1,13 @@
Multi Gnome Terminal is an enhanced version of gnome-terminal which has
the following features added:
- Many terminals in each window
- Switch between terminals using shortcuts
- Execution of user defined commands in new terminals
- Notification of terminal states (changed, changing, unchanged) using
different tabs colors
- Reorderable tabs
All these extensions are inspired by screen and konsole (the kde2 terminal).
WWW: http://multignometerm.sourceforge.net/

View file

@ -0,0 +1,209 @@
bin/multi-gnome-terminal
etc/CORBA/servers/multi-gnome-terminal.gnorba
sbin/mgt-pty-helper
share/gnome/pixmaps/mgt/multignometerm.png
share/gnome/pixmaps/mgt/arrow_right2.png
share/gnome/pixmaps/mgt/arrow_left2.png
share/gnome/pixmaps/mgt/panel-folder.png
share/gnome/pixmaps/mgt/gnome-notepad.png
share/gnome/gnome/help/multi-gnome-terminal/C/index.html
share/gnome/gnome/help/multi-gnome-terminal/C/stylesheet-images/caution.gif
share/gnome/gnome/help/multi-gnome-terminal/C/stylesheet-images/home.gif
share/gnome/gnome/help/multi-gnome-terminal/C/stylesheet-images/important.gif
share/gnome/gnome/help/multi-gnome-terminal/C/stylesheet-images/next.gif
share/gnome/gnome/help/multi-gnome-terminal/C/stylesheet-images/note.gif
share/gnome/gnome/help/multi-gnome-terminal/C/stylesheet-images/prev.gif
share/gnome/gnome/help/multi-gnome-terminal/C/stylesheet-images/tip.gif
share/gnome/gnome/help/multi-gnome-terminal/C/stylesheet-images/toc-blank.gif
share/gnome/gnome/help/multi-gnome-terminal/C/stylesheet-images/toc-minus.gif
share/gnome/gnome/help/multi-gnome-terminal/C/stylesheet-images/toc-plus.gif
share/gnome/gnome/help/multi-gnome-terminal/C/stylesheet-images/up.gif
share/gnome/gnome/help/multi-gnome-terminal/C/stylesheet-images/warning.gif
share/gnome/gnome/help/multi-gnome-terminal/C/gnome-terminal.sgml
share/gnome/gnome/help/multi-gnome-terminal/C/authors.html
share/gnome/gnome/help/multi-gnome-terminal/C/classes.html
share/gnome/gnome/help/multi-gnome-terminal/C/config.html
share/gnome/gnome/help/multi-gnome-terminal/C/environment.html
share/gnome/gnome/help/multi-gnome-terminal/C/license.html
share/gnome/gnome/help/multi-gnome-terminal/C/ln9.html
share/gnome/gnome/help/multi-gnome-terminal/C/menus.html
share/gnome/gnome/help/multi-gnome-terminal/C/options.html
share/gnome/gnome/help/multi-gnome-terminal/C/pointerusage.html
share/gnome/gnome/help/multi-gnome-terminal/C/usage.html
share/gnome/gnome/help/multi-gnome-terminal/C/docbook.css
share/gnome/gnome/help/multi-gnome-terminal/C/topic.dat
share/gnome/gnome/help/multi-gnome-terminal/de/index.html
share/gnome/gnome/help/multi-gnome-terminal/de/stylesheet-images/caution.gif
share/gnome/gnome/help/multi-gnome-terminal/de/stylesheet-images/home.gif
share/gnome/gnome/help/multi-gnome-terminal/de/stylesheet-images/important.gif
share/gnome/gnome/help/multi-gnome-terminal/de/stylesheet-images/next.gif
share/gnome/gnome/help/multi-gnome-terminal/de/stylesheet-images/note.gif
share/gnome/gnome/help/multi-gnome-terminal/de/stylesheet-images/prev.gif
share/gnome/gnome/help/multi-gnome-terminal/de/stylesheet-images/tip.gif
share/gnome/gnome/help/multi-gnome-terminal/de/stylesheet-images/toc-blank.gif
share/gnome/gnome/help/multi-gnome-terminal/de/stylesheet-images/toc-minus.gif
share/gnome/gnome/help/multi-gnome-terminal/de/stylesheet-images/toc-plus.gif
share/gnome/gnome/help/multi-gnome-terminal/de/stylesheet-images/up.gif
share/gnome/gnome/help/multi-gnome-terminal/de/stylesheet-images/warning.gif
share/gnome/gnome/help/multi-gnome-terminal/de/gnome-terminal.sgml
share/gnome/gnome/help/multi-gnome-terminal/de/authors.html
share/gnome/gnome/help/multi-gnome-terminal/de/classes.html
share/gnome/gnome/help/multi-gnome-terminal/de/config.html
share/gnome/gnome/help/multi-gnome-terminal/de/environment.html
share/gnome/gnome/help/multi-gnome-terminal/de/ln11.html
share/gnome/gnome/help/multi-gnome-terminal/de/menus.html
share/gnome/gnome/help/multi-gnome-terminal/de/options.html
share/gnome/gnome/help/multi-gnome-terminal/de/pointerusage.html
share/gnome/gnome/help/multi-gnome-terminal/de/usage.html
share/gnome/gnome/help/multi-gnome-terminal/de/docbook.css
share/gnome/gnome/help/multi-gnome-terminal/de/topic.dat
share/gnome/gnome/help/multi-gnome-terminal/da/index.html
share/gnome/gnome/help/multi-gnome-terminal/da/topic.dat
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/caution.png
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/important.png
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/note.png
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/tip.png
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/warning.png
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/caution.gif
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/home.gif
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/important.gif
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/next.gif
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/note.gif
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/prev.gif
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/tip.gif
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/toc-blank.gif
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/toc-minus.gif
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/toc-plus.gif
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/up.gif
share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images/warning.gif
share/gnome/gnome/help/multi-gnome-terminal/da/gnome-terminal.sgml
share/gnome/gnome/help/multi-gnome-terminal/da/authors.html
share/gnome/gnome/help/multi-gnome-terminal/da/classes.html
share/gnome/gnome/help/multi-gnome-terminal/da/config.html
share/gnome/gnome/help/multi-gnome-terminal/da/emulation.html
share/gnome/gnome/help/multi-gnome-terminal/da/environment.html
share/gnome/gnome/help/multi-gnome-terminal/da/ln9.html
share/gnome/gnome/help/multi-gnome-terminal/da/menus.html
share/gnome/gnome/help/multi-gnome-terminal/da/options.html
share/gnome/gnome/help/multi-gnome-terminal/da/pointerusage.html
share/gnome/gnome/help/multi-gnome-terminal/da/terminal.html
share/gnome/gnome/help/multi-gnome-terminal/da/termtech.html
share/gnome/gnome/help/multi-gnome-terminal/da/docbook.css
share/gnome/gnome/help/multi-gnome-terminal/es/index.html
share/gnome/gnome/help/multi-gnome-terminal/es/stylesheet-images/caution.gif
share/gnome/gnome/help/multi-gnome-terminal/es/stylesheet-images/home.gif
share/gnome/gnome/help/multi-gnome-terminal/es/stylesheet-images/important.gif
share/gnome/gnome/help/multi-gnome-terminal/es/stylesheet-images/next.gif
share/gnome/gnome/help/multi-gnome-terminal/es/stylesheet-images/note.gif
share/gnome/gnome/help/multi-gnome-terminal/es/stylesheet-images/prev.gif
share/gnome/gnome/help/multi-gnome-terminal/es/stylesheet-images/tip.gif
share/gnome/gnome/help/multi-gnome-terminal/es/stylesheet-images/toc-blank.gif
share/gnome/gnome/help/multi-gnome-terminal/es/stylesheet-images/toc-minus.gif
share/gnome/gnome/help/multi-gnome-terminal/es/stylesheet-images/toc-plus.gif
share/gnome/gnome/help/multi-gnome-terminal/es/stylesheet-images/up.gif
share/gnome/gnome/help/multi-gnome-terminal/es/stylesheet-images/warning.gif
share/gnome/gnome/help/multi-gnome-terminal/es/gnome-terminal.sgml
share/gnome/gnome/help/multi-gnome-terminal/es/authors.html
share/gnome/gnome/help/multi-gnome-terminal/es/classes.html
share/gnome/gnome/help/multi-gnome-terminal/es/config.html
share/gnome/gnome/help/multi-gnome-terminal/es/environment.html
share/gnome/gnome/help/multi-gnome-terminal/es/ln17.html
share/gnome/gnome/help/multi-gnome-terminal/es/menus.html
share/gnome/gnome/help/multi-gnome-terminal/es/options.html
share/gnome/gnome/help/multi-gnome-terminal/es/pointerusage.html
share/gnome/gnome/help/multi-gnome-terminal/es/usage.html
share/gnome/gnome/help/multi-gnome-terminal/es/docbook.css
share/gnome/gnome/help/multi-gnome-terminal/es/topic.dat
share/gnome/gnome/help/multi-gnome-terminal/it/index.html
share/gnome/gnome/help/multi-gnome-terminal/it/topic.dat
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/caution.png
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/important.png
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/note.png
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/tip.png
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/warning.png
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/caution.gif
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/home.gif
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/important.gif
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/next.gif
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/note.gif
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/prev.gif
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/tip.gif
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/toc-blank.gif
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/toc-minus.gif
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/toc-plus.gif
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/up.gif
share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images/warning.gif
share/gnome/gnome/help/multi-gnome-terminal/it/gnome-terminal.sgml
share/gnome/gnome/help/multi-gnome-terminal/it/authors.html
share/gnome/gnome/help/multi-gnome-terminal/it/classes.html
share/gnome/gnome/help/multi-gnome-terminal/it/config.html
share/gnome/gnome/help/multi-gnome-terminal/it/emulation.html
share/gnome/gnome/help/multi-gnome-terminal/it/environment.html
share/gnome/gnome/help/multi-gnome-terminal/it/ln12.html
share/gnome/gnome/help/multi-gnome-terminal/it/menus.html
share/gnome/gnome/help/multi-gnome-terminal/it/options.html
share/gnome/gnome/help/multi-gnome-terminal/it/pointerusage.html
share/gnome/gnome/help/multi-gnome-terminal/it/terminal.html
share/gnome/gnome/help/multi-gnome-terminal/it/docbook.css
share/gnome/gnome/help/multi-gnome-terminal/no/index.html
share/gnome/gnome/help/multi-gnome-terminal/no/topic.dat
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/caution.png
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/important.png
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/note.png
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/tip.png
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/warning.png
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/caution.gif
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/home.gif
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/important.gif
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/next.gif
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/note.gif
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/prev.gif
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/tip.gif
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/toc-blank.gif
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/toc-minus.gif
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/toc-plus.gif
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/up.gif
share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images/warning.gif
share/gnome/gnome/help/multi-gnome-terminal/no/gnome-terminal.sgml
share/gnome/gnome/help/multi-gnome-terminal/no/authors.html
share/gnome/gnome/help/multi-gnome-terminal/no/classes.html
share/gnome/gnome/help/multi-gnome-terminal/no/config.html
share/gnome/gnome/help/multi-gnome-terminal/no/emulation.html
share/gnome/gnome/help/multi-gnome-terminal/no/environment.html
share/gnome/gnome/help/multi-gnome-terminal/no/ln9.html
share/gnome/gnome/help/multi-gnome-terminal/no/menus.html
share/gnome/gnome/help/multi-gnome-terminal/no/options.html
share/gnome/gnome/help/multi-gnome-terminal/no/pointerusage.html
share/gnome/gnome/help/multi-gnome-terminal/no/terminal.html
share/gnome/gnome/help/multi-gnome-terminal/no/termtech.html
share/gnome/gnome/help/multi-gnome-terminal/no/docbook.css
share/gnome/gnome/apps/System/multi-gnome-terminal.desktop
share/gnome/gnome-terminal/glade/multi-gnome-terminal.glade
share/gnome/gnome-terminal/glade/edit_cmd.glade
share/gnome/idl/MultiTerminal.idl
share/gnome/omf/mgt/gnome-terminal-C.omf
share/gnome/omf/mgt/gnome-terminal-de.omf
share/gnome/omf/mgt/gnome-terminal-es.omf
@dirrm share/gnome/pixmaps/mgt
@dirrm share/gnome/gnome/help/multi-gnome-terminal/C/stylesheet-images
@dirrm share/gnome/gnome/help/multi-gnome-terminal/C/figures
@dirrm share/gnome/gnome/help/multi-gnome-terminal/C
@dirrm share/gnome/gnome/help/multi-gnome-terminal/de/stylesheet-images
@dirrm share/gnome/gnome/help/multi-gnome-terminal/de/figures
@dirrm share/gnome/gnome/help/multi-gnome-terminal/de
@dirrm share/gnome/gnome/help/multi-gnome-terminal/da/stylesheet-images
@dirrm share/gnome/gnome/help/multi-gnome-terminal/da/figures
@dirrm share/gnome/gnome/help/multi-gnome-terminal/da
@dirrm share/gnome/gnome/help/multi-gnome-terminal/es/stylesheet-images
@dirrm share/gnome/gnome/help/multi-gnome-terminal/es/figures
@dirrm share/gnome/gnome/help/multi-gnome-terminal/es
@dirrm share/gnome/gnome/help/multi-gnome-terminal/it/stylesheet-images
@dirrm share/gnome/gnome/help/multi-gnome-terminal/it/figures
@dirrm share/gnome/gnome/help/multi-gnome-terminal/it
@dirrm share/gnome/gnome/help/multi-gnome-terminal/no/stylesheet-images
@dirrm share/gnome/gnome/help/multi-gnome-terminal/no/figures
@dirrm share/gnome/gnome/help/multi-gnome-terminal/no
@dirrm share/gnome/gnome/help/multi-gnome-terminal
@dirrm share/gnome/gnome/help
@dirrm share/gnome/gnome/apps/System
@dirrm share/gnome/omf/mgt