gp2c-run(1) [debian man page]

GP2C-RUN(1)							       PARI							       GP2C-RUN(1)

NAME

       GP2C-RUN - The GP to C compiler driver

DESCRIPTION

       gp2c-run [gp2c options] [file.gp]

       Compile	file.gp  with  gp2c  and launch a gp session where the functions of functions of file.gp are preloaded.  Any options are passed to
       gp2c.

       gp2c-run file.c

       Compile file.c and launch a gp session where the functions of file.c are preloaded. the file file.c must have suitable GP;install() lines.

       This is especially useful if you manually modify the file.gp.c produced by gp2c-run. In this case it is advised to rename it to	file.c	to
       avoid subsequent calls of gp2c-run to overwrite your changes.

FILES

       file.gp.c The C output of gp2c.

       file.gp.so
	      The GP loadable module.

       file.gp.run
	      The  commands to load the module. Once a module is compiled, you can load it inside a gp session by running this script.

ENVIRONMENT

       GP2C   Path to the gp2c compiler, default: /usr/bin/gp2c

       GP     Path to the gp calculator, default: /usr/bin/gp

FILES

       file.gp.c The C output of gp2c.

       file.gp.so
	      The GP loadable module.

       file.gp.run
	      The  commands to load the module. Once a module is compiled, you can load it inside a gp session by running this script.

COPYING

       Copyright 2000-2006 The PARI Group

       GP2C  is  free  software,  covered by the GNU General Public License, and you are welcome to change it and/or distribute copies of it under
       certain conditions.  There is absolutely no warranty for GP2C.

SEE ALSO

       The GP2C manual, gp2c(1), gp2c-dbg(1), gp(1), gcc(1)

GP to C compiler driver 					   November 2001						       GP2C-RUN(1)

IVMAN-LAUNCH(8) 					      System Manager's Manual						   IVMAN-LAUNCH(8)

NAME

       ivman-launch - launch script for Ivman

SYNOPSIS

       ivman-launch [ --exit-with-session <cmd> ] [ OPTIONS ] [ COMMAND [ ARGS... ]]

DESCRIPTION

       ivman-launch  is a simple script used to launch Ivman.  Its sole purpose is to ensure Ivman is closed at the end of a user's login session.
       You can use it if your session manager does not properly close Ivman when you log out.

       ivman-launch supports the same command-line options as Ivman, and one additional option: --exit-with-session.   Thus,  there  is  no  point
       using ivman-launch if you do not need to use this option.

       If  you supply a COMMAND (with optional ARGS), the the specified command will be run after ivman is started, and ivman will be killed after
       that command exits.

OPTIONS

       --exit-with-session <cmd>
	      ivman-launch will block until the command 'cmd' terminates, at which point it will kill Ivman and exit itself.  If the command 'cmd'
	      is  not  running when ivman-launch is started, Ivman will exit immediately.  Note that this option implies Ivman will be called with
	      the '--nofork' option.  option.

       --debug --nofork --system
	      These flags be passed to the launched ivman command.

EXAMPLES

       ivman-launch --exit-with-session xinit &
	      The ivman process will be started, then the xinit process is watched.  When the xinit process exits, ivman is killed.  Placing  this
	      command  in  an  ~/.xinitrc  file would cause Ivman to launch in the background when your session begins, and exit when your session
	      ends:

       ivman-launch /usr/bin/x-window-manager
	      The ivman process is launched, then /usr/bin/x-window-manager is run, when x-window-manager exits, ivman	is  killed.   This  is	an
	      example of how ivman might be launched from Xsession in order to chain several programs together in one session.

SEE ALSO

       ivman(8) Xsession(5)

CREDITS

       This script was written by Daniele Favara.

								 10 February 2006						   IVMAN-LAUNCH(8)