List of reports associated
Test name: Version: 5.5.0alpha1
Goto: PHPInfo Build environment
PHPInfo
phpinfo()
PHP Version => 5.5.0alpha1
System => Linux laptop-14-230.macs.hw.ac.uk 3.3.6-desktop-2.mga2 #1 SMP Thu May 17 16:25:59 UTC 2012 x86_64
Build Date => Nov 27 2012 19:41:37
Configure Command => './configure'
Server API => Command Line Interface
Virtual Directory Support => disabled
Configuration File (php.ini) Path => /usr/local/lib
Loaded Configuration File => (none)
Scan this dir for additional .ini files => (none)
Additional .ini files parsed => (none)
PHP API => 20121113
PHP Extension => 20121113
Zend Extension => 220121113
Zend Extension Build => API220121113,NTS
PHP Extension Build => API20121113,NTS
Debug Build => no
Thread Safety => disabled
Zend Signal Handling => disabled
Zend Memory Manager => enabled
Zend Multibyte Support => disabled
IPv6 Support => enabled
DTrace Support => disabled
Registered PHP Streams => php, file, glob, data, http, ftp, phar
Registered Stream Socket Transports => tcp, udp, unix, udg
Registered Stream Filters => convert.iconv.*, string.rot13, string.toupper, string.tolower, string.strip_tags, convert.*, consumed, dechunk
This program makes use of the Zend Scripting Language Engine:
Zend Engine v2.5.0-dev, Copyright (c) 1998-2012 Zend Technologies
_______________________________________________________________________
Configuration
Core
PHP Version => 5.5.0alpha1
Directive => Local Value => Master Value
allow_url_fopen => On => On
allow_url_include => Off => Off
always_populate_raw_post_data => Off => Off
arg_separator.input => & => &
arg_separator.output => & => &
asp_tags => Off => Off
auto_append_file => no value => no value
auto_globals_jit => On => On
auto_prepend_file => no value => no value
browscap => no value => no value
default_charset => no value => no value
default_mimetype => text/html => text/html
disable_classes => no value => no value
disable_functions => no value => no value
display_errors => STDERR => STDERR
display_startup_errors => Off => Off
doc_root => no value => no value
docref_ext => no value => no value
docref_root => no value => no value
enable_dl => On => On
enable_post_data_reading => On => On
error_append_string => no value => no value
error_log => no value => no value
error_prepend_string => no value => no value
error_reporting => no value => no value
exit_on_timeout => Off => Off
expose_php => On => On
extension_dir => /usr/local/lib/php/extensions/no-debug-non-zts-20121113 => /usr/local/lib/php/extensions/no-debug-non-zts-20121113
file_uploads => On => On
highlight.comment => <font style="color: #FF8000">#FF8000</font> => <font style="color: #FF8000">#FF8000</font>
highlight.default => <font style="color: #0000BB">#0000BB</font> => <font style="color: #0000BB">#0000BB</font>
highlight.html => <font style="color: #000000">#000000</font> => <font style="color: #000000">#000000</font>
highlight.keyword => <font style="color: #007700">#007700</font> => <font style="color: #007700">#007700</font>
highlight.string => <font style="color: #DD0000">#DD0000</font> => <font style="color: #DD0000">#DD0000</font>
html_errors => Off => Off
ignore_repeated_errors => Off => Off
ignore_repeated_source => Off => Off
ignore_user_abort => Off => Off
implicit_flush => On => On
include_path => .:/usr/local/lib/php => .:/usr/local/lib/php
log_errors => Off => Off
log_errors_max_len => 1024 => 1024
mail.add_x_header => Off => Off
mail.force_extra_parameters => no value => no value
mail.log => no value => no value
max_execution_time => 0 => 0
max_file_uploads => 20 => 20
max_input_nesting_level => 64 => 64
max_input_time => -1 => -1
max_input_vars => 1000 => 1000
memory_limit => 128M => 128M
open_basedir => no value => no value
output_buffering => 0 => 0
output_handler => no value => no value
post_max_size => 8M => 8M
precision => 14 => 14
realpath_cache_size => 16K => 16K
realpath_cache_ttl => 120 => 120
register_argc_argv => On => On
report_memleaks => On => On
report_zend_debug => Off => Off
request_order => no value => no value
sendmail_from => no value => no value
sendmail_path => -t -i => -t -i
serialize_precision => 17 => 17
short_open_tag => On => On
SMTP => localhost => localhost
smtp_port => 25 => 25
sql.safe_mode => Off => Off
track_errors => Off => Off
unserialize_callback_func => no value => no value
upload_max_filesize => 2M => 2M
upload_tmp_dir => no value => no value
user_dir => no value => no value
user_ini.cache_ttl => 300 => 300
user_ini.filename => .user.ini => .user.ini
variables_order => EGPCS => EGPCS
xmlrpc_error_number => 0 => 0
xmlrpc_errors => Off => Off
zend.detect_unicode => On => On
zend.enable_gc => On => On
zend.multibyte => Off => Off
zend.script_encoding => no value => no value
ctype
ctype functions => enabled
date
date/time support => enabled
"Olson" Timezone Database Version => 2012.10
Timezone Database => internal
Default timezone => UTC
Directive => Local Value => Master Value
date.default_latitude => 31.7667 => 31.7667
date.default_longitude => 35.2333 => 35.2333
date.sunrise_zenith => 90.583333 => 90.583333
date.sunset_zenith => 90.583333 => 90.583333
date.timezone => no value => no value
dom
DOM/XML => enabled
DOM/XML API Version => 20031129
libxml Version => 2.7.8
HTML Support => enabled
XPath Support => enabled
XPointer Support => enabled
Schema Support => enabled
RelaxNG Support => enabled
ereg
Regex Library => Bundled library enabled
fileinfo
fileinfo support => enabled
version => 1.0.5-dev
filter
Input Validation and Filtering => enabled
Revision => $Id: e523cdc8829892d1b4f9cb7c3c57b2ba1c36b9ea $
Directive => Local Value => Master Value
filter.default => unsafe_raw => unsafe_raw
filter.default_flags => no value => no value
hash
hash support => enabled
Hashing Engines => md2 md4 md5 sha1 sha224 sha256 sha384 sha512 ripemd128 ripemd160 ripemd256 ripemd320 whirlpool tiger128,3 tiger160,3 tiger192,3 tiger128,4 tiger160,4 tiger192,4 snefru snefru256 gost adler32 crc32 crc32b fnv132 fnv164 joaat haval128,3 haval160,3 haval192,3 haval224,3 haval256,3 haval128,4 haval160,4 haval192,4 haval224,4 haval256,4 haval128,5 haval160,5 haval192,5 haval224,5 haval256,5
iconv
iconv support => enabled
iconv implementation => glibc
iconv library version => 2.14.1
Directive => Local Value => Master Value
iconv.input_encoding => ISO-8859-1 => ISO-8859-1
iconv.internal_encoding => ISO-8859-1 => ISO-8859-1
iconv.output_encoding => ISO-8859-1 => ISO-8859-1
json
json support => enabled
json version => 1.2.1
libxml
libXML support => active
libXML Compiled Version => 2.7.8
libXML Loaded Version => 20708
libXML streams => enabled
pcre
PCRE (Perl Compatible Regular Expressions) Support => enabled
PCRE Library Version => 8.31 2012-07-06
Directive => Local Value => Master Value
pcre.backtrack_limit => 1000000 => 1000000
pcre.recursion_limit => 100000 => 100000
PDO
PDO support => enabled
PDO drivers => sqlite
pdo_sqlite
PDO Driver for SQLite 3.x => enabled
SQLite Library => 3.7.7.1
Phar
Phar: PHP Archive support => enabled
Phar EXT version => 2.0.1
Phar API version => 1.1.1
SVN revision => $Id: cc7eac717db60fe3deade794d4ae082fe97279ed $
Phar-based phar archives => enabled
Tar-based phar archives => enabled
ZIP-based phar archives => enabled
gzip compression => disabled (install ext/zlib)
bzip2 compression => disabled (install pecl/bz2)
OpenSSL support => disabled (install ext/openssl)
Phar based on pear/PHP_Archive, original concept by Davey Shafik.
Phar fully realized by Gregory Beaver and Marcus Boerger.
Portions of tar implementation Copyright (c) 2003-2009 Tim Kientzle.
Directive => Local Value => Master Value
phar.cache_list => no value => no value
phar.readonly => On => On
phar.require_hash => On => On
posix
Revision => $Id: 967584c6fadb3467f31abe8e13caa8764df85867 $
Reflection
Reflection => enabled
Version => $Id: 7c51cf6ccaa41ed270f13c4dec1122cc9ed00956 $
session
Session Support => enabled
Registered save handlers => files user
Registered serializer handlers => php php_binary
Directive => Local Value => Master Value
session.auto_start => Off => Off
session.cache_expire => 180 => 180
session.cache_limiter => nocache => nocache
session.cookie_domain => no value => no value
session.cookie_httponly => Off => Off
session.cookie_lifetime => 0 => 0
session.cookie_path => / => /
session.cookie_secure => Off => Off
session.entropy_file => /dev/urandom => /dev/urandom
session.entropy_length => 32 => 32
session.gc_divisor => 100 => 100
session.gc_maxlifetime => 1440 => 1440
session.gc_probability => 1 => 1
session.hash_bits_per_character => 4 => 4
session.hash_function => 0 => 0
session.name => PHPSESSID => PHPSESSID
session.referer_check => no value => no value
session.save_handler => files => files
session.save_path => no value => no value
session.serialize_handler => php => php
session.upload_progress.cleanup => On => On
session.upload_progress.enabled => On => On
session.upload_progress.freq => 1% => 1%
session.upload_progress.min_freq => 1 => 1
session.upload_progress.name => PHP_SESSION_UPLOAD_PROGRESS => PHP_SESSION_UPLOAD_PROGRESS
session.upload_progress.prefix => upload_progress_ => upload_progress_
session.use_cookies => On => On
session.use_only_cookies => On => On
session.use_trans_sid => 0 => 0
SimpleXML
Simplexml support => enabled
Revision => $Id: 5514f0fc897197ca9a199fb93b8b5d9135ad711a $
Schema support => enabled
SPL
SPL support => enabled
Interfaces => Countable, OuterIterator, RecursiveIterator, SeekableIterator, SplObserver, SplSubject
Classes => AppendIterator, ArrayIterator, ArrayObject, BadFunctionCallException, BadMethodCallException, CachingIterator, CallbackFilterIterator, DirectoryIterator, DomainException, EmptyIterator, FilesystemIterator, FilterIterator, GlobIterator, InfiniteIterator, InvalidArgumentException, IteratorIterator, LengthException, LimitIterator, LogicException, MultipleIterator, NoRewindIterator, OutOfBoundsException, OutOfRangeException, OverflowException, ParentIterator, RangeException, RecursiveArrayIterator, RecursiveCachingIterator, RecursiveCallbackFilterIterator, RecursiveDirectoryIterator, RecursiveFilterIterator, RecursiveIteratorIterator, RecursiveRegexIterator, RecursiveTreeIterator, RegexIterator, RuntimeException, SplDoublyLinkedList, SplFileInfo, SplFileObject, SplFixedArray, SplHeap, SplMinHeap, SplMaxHeap, SplObjectStorage, SplPriorityQueue, SplQueue, SplStack, SplTempFileObject, UnderflowException, UnexpectedValueException
sqlite3
SQLite3 support => enabled
SQLite3 module version => 0.7-dev
SQLite Library => 3.7.7.1
Directive => Local Value => Master Value
sqlite3.extension_dir => no value => no value
standard
Dynamic Library Support => enabled
Path to sendmail => -t -i
Directive => Local Value => Master Value
assert.active => 1 => 1
assert.bail => 0 => 0
assert.callback => no value => no value
assert.quiet_eval => 0 => 0
assert.warning => 1 => 1
auto_detect_line_endings => 0 => 0
default_socket_timeout => 60 => 60
from => no value => no value
url_rewriter.tags => a=href,area=href,frame=src,form=,fieldset= => a=href,area=href,frame=src,form=,fieldset=
user_agent => no value => no value
tokenizer
Tokenizer Support => enabled
xml
XML Support => active
XML Namespace Support => active
libxml2 Version => 2.7.8
xmlreader
XMLReader => enabled
xmlwriter
XMLWriter => enabled
Additional Modules
Module Name
Environment
Variable => Value
LESSKEY => /etc/.less
XDG_VTNR => 3
LC_PAPER => en_GB.UTF-8
BIBINPUTS => /mnt/home/hwloidl/tex/bib:/mnt/home/hwloidl/tex/bib/bib:.
BASH_COLOUR =>
MANPATH => /mnt/home/hwloidl/man:/usr/man:/usr/local/man:/usr/X11R6/man:/dsg/local/man:/gnu/man:/usr/share/man:/mnt/home/hwloidl/gnu/man
NNTPSERVER => news.cee.hw.ac.uk
SUPPORTED =>
SSH_AGENT_PID => 3961
XDG_SESSION_ID => 3
LC_ADDRESS => en_GB.UTF-8
hostnam => laptop-14-230
FSP_DIR => /
HOSTNAME => laptop-14-230.macs.hw.ac.uk
LC_MONETARY => en_GB.UTF-8
TEST_PHP_SRCDIR => /tmp/ftp/php-5.5.0alpha1
D => 2711
date_str => Tue,27 Nov 12
BSTINPUTS => /mnt/home/hwloidl/tex/:.:/usr/share/texmf/bibtex/bst//
GNU => /gnu
MRGJVMHOME => /home/hwloidl/mrg-working/progs-demo-y4/consumer/bin
GPG_AGENT_INFO => /run/user/hwloidl/keyring-cb75l9/gpg:0:1
SHELL => /bin/bash
lion => //hwloidl@lion.risc.uni-linz.ac.at:
i386 => /net/dazdak/BUILDS/gransim-4.00/i386-unknown-linux
FN2 => -adobe-courier-medium-r-*-*-14-*-*-*-*-*-iso8859-1
TERM => xterm
HOST => laptop-14-230.macs.hw.ac.uk
LC_SOURCED => 1
HIGH_LOAD => 100
XDG_SESSION_COOKIE => f921191881f1e86daf465ddf00000026-1354017585.35591-34340738
MRGISABELLE => emacs
CANBERRA_DRIVER => pulse
MAKEFLAGS =>
HISTSIZE => 100
SSH_CLIENT => deleted
PGPPATH => /mnt/home/hwloidl/.pgp
TMPDIR => /tmp
OLD_MY_TEXINPUTS => /mnt/home/hwloidl/tex:.:/usr/local/tex/inputs/:
CVSROOT => :ext:hwloidl@cvs.haskell.org:/home/cvs/root
GBS_FLAGS => -std=gnu99 -g -lm -lpthread humestubs.c -L/home/hwloidl/Hume/BUILDS/lib -lhumecrts -I/home/hwloidl/Hume/BUILDS/include/humec
GS_LIB => :/mnt/home/hwloidl/lib/ghostscript/3.12/fonts
GJS_DEBUG_OUTPUT => stderr
MGA_MENU_STYLE => mageia
WINDOWID => 8388613
LC_NUMERIC => en_GB.UTF-8
HAWAII => hawaii.dcs.glasgow.ac.uk
hawaii => //hwloidl@hawaii.dcs.gla.ac.uk
BTERM => xterm
GNOME_KEYRING_CONTROL => /run/user/hwloidl/keyring-cb75l9
MRGLOCALBINDIR => /var/local/t
TGIFICON => tgificon.obj
promptsize => 54
GJS_DEBUG_TOPICS => JS ERROR;JS LOG
SSH_TTY => deleted
HUGSEDIT => emacs -q --eval '(progn (setq hwl-enable-list '(font-lock iswitchb stig-paren ange-ftp dired igrep hugs-mode)) (setq hwl-emacs-background "LightGray") (load-file (expand-file-name "~/.emacs")))'
Args => - 1 +RTS -H40M -K2M -RTS
XAPPLRESDIR => /usr/X11/lib/X11/app-defaults:~/lib/X11/app-defaults
HASKELLPROG => gsghc
HISTFILESIZE => 100
USER => hwloidl
g4 => /net/dazdak/gransim-4.00/fptools
LS_COLORS => no=00:fi=00:di=01;34:ln=30;46:pi=40;33:so=01;35:bd=40;33;01:cd=40;33;01:or=01;40;31:ex=00;31:*.c=04;32:*.hs=04;32:*.lhs=04;32:*.gs=04;32:*.lgs=04;32:*.scm=04;32:*.pl=04;32:*.yy=04;32:*.y=04;32:*.el=04;32:*.java=04;32:*.tex=04;34:*.bib=04;34:*.tar=07;31:*.tgz=07;31:*.tpr=07;31:*.tpz=07;31:*.uue=07;31:*.arj=07;31:*.taz=07;31:*.lzh=07;31:*.zip=07;31:*.z=07;31:*.Z=07;31:*.gz=07;31:*.deb=01;31:*.jpg=01;35:*.gif=01;35:*.bmp=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.mpg=01;37:*.avi=01;37:*.gl=01;37:*.dl=01;37:*.ps=00;35:*.eps=00;35:*\~=30;43:*\^=30;43
LD_LIBRARY_PATH => /usr/java/j2sdk1.4.1_01/lib:/usr/java/j2sdk1.4.1_01/lib::/lib:/usr/lib:/usr/local/lib:/var/local/gnu/lib:/opt/kde3/lib:/opt/gnome/lib:/mnt/home/hwloidl/gnu/lib:/mnt/home/hwloidl/DISTS/Isabelle/lib:/lib:/usr/lib:/usr/local/lib:/var/local/gnu/lib:/opt/kde3/lib:/opt/gnome/lib:/mnt/home/hwloidl/gnu/lib:/mnt/home/hwloidl/DISTS/Isabelle/lib
LC_TELEPHONE => en_GB.UTF-8
CSFINPUT => /mnt/home/hwloidl/tex/csf:
FSP_HOST => melmac.risc.uni-linz.ac.at
KHBIB => /users/fp/kh/data/monsoon.bib /users/fp/kh/data/simon.bib /users/fp/kh/docs/pasco94/invited.bib /users/fp/kh/docs/pasco94/old/invited.bib /users/fp/kh/docs/pasco94/fpcrisc.bib /users/fp/kh/docs/pasco94/fpcown.bib /users/fp/kh/docs/pasco94/fpcparla.bib /users/fp/kh/docs/pasco94/fpcna.bib /users/fp/kh/docs/pasco94/fpcnew.bib /users/fp/kh/docs/pasco94/fpcnew2.bib /users/fp/kh/docs/fp-workshop/workshop93/wakeling/ayr93/etc/references.bib /users/fp/kh/docs/others/parallel_fp_history/History.bib /users/fp/kh/docs/parade/norwich94/invited.bib
TITLEBAR => \[\033]0;\u@\h:\w\007\]
SSH_AUTH_SOCK => deleted
PVM_ROOT => /usr/share/pvm3
HUGSPATH => /mnt/home/hwloidl/gofer
FOOO => 0
SESSION_MANAGER => local/laptop-14-230.macs.hw.ac.uk:@/tmp/.ICE-unix/3926,unix/laptop-14-230.macs.hw.ac.uk:/tmp/.ICE-unix/3926
HW_OS => unknown-unknown-unknown
MAKELEVEL => 1
COLUMNS => 80
SYSTEMD_PAGER => /usr/bin/less -FR
spb => //hwloidl@springbank.dcs.st-and.ac.uk:
PAGER => less
TERMWIDTH => 80
PVM_ARCH => SUN4
MFLAGS =>
BFLAGS => -t -K350 -i15
fill => --------------------------
XDG_CONFIG_DIRS => /etc/xdg:/etc/xdg/gnome
COLOUR_HIGH => \[\033[1;31m\]
MINOR => 2
XALARMFILEPATH => /mnt/home/hwloidl
NLSPATH => /usr/share/locale/%l/%N
DESKTOP_SESSION => 02GNOME
BIBTEX_CSFILE => 88591lat.csf
PATH => /home/hwloidl/bin/i386-unknown-linux:/home/hwloidl/bin:/var/local/jdk1.5.0/bin:/var/local/t:/usr/java/j2sdk1.4.1_01/bin:/mnt/home/hwloidl/ftp/MPlayer-1.0pre4:/mnt/home/hwloidl/bin/unknown-unknown-unknown:/mnt/home/hwloidl/bin:/usr/local/bin:/gnu/arch/bin:/dsg/local/bin::/bin:/usr/bin::/usr/local/bin:/local/unknown-unknown-unknown/bin:/local/com/bin:/local/com/graphics/bin::/bin:::/mnt/home/hwloidl/grasp/GrAn/bin:/usr/ccs/bin:/sbin:/usr/sbin:/usr/ucb:/usr/hosts:/usr/games:/var/local/gnu/bin:/mnt/home/hwloidl/private/HYW/bin:/mnt/home/hwloidl/gnu/bin:/mnt/home/hwloidl/tmp/gnu/bin:/opt/kde3/bin:/opt/gnome/bin:/mnt/home/hwloidl/Hume/BUILDS/bin:/mnt/home/hwloidl/DISTS/Isabelle/bin:/usr/share/pvm3/lib:/usr/share/pvm3:/usr/lib/openmpi/1.3.2-gcc/bin:/mnt/home/hwloidl/TEST//bin
REAL_PROMPT => \[\033[1;33m\]-\[\033[0;30m\]-(\h\[\033[0;30m\][\!]\[\033[0;31m\](\v))-\[\033[1;33m\]-\[\033[0m\]
MAIL => /usr/spool/mail/hwloidl
LC_MESSAGES => en_GB.UTF-8
COLOUR_MEDIUM => \[\033[1;33m\]
_ => /tmp/ftp/php-5.5.0alpha1/sapi/cli/php
BPATH => /usr/local/crisp/crisp/macros;/crisp
MUDWHOSERVER => riemann.math.okstate.edu
LC_COLLATE => en_GB.UTF-8
DOI0 => /bin/SUN4
LC_IDENTIFICATION => en_GB.UTF-8
PWD => /tmp/ftp/php-5.5.0alpha1
IRCSERVER => irc.uni-linz.ac.at
XMODIFIERS => @im=none
ftp => /net/dazdak/hwloidl/ftp
MY_TEXINPUTS => .:/mnt/home/hwloidl/tex::.:/mnt/home/hwloidl/tex//:/mnt/home/hwloidl/tex/beamer//:/mnt/home/hwloidl/pgf//:/home/hwloidl/EmBounded/docs/sty:.:/mnt/home/hwloidl/tex:::
newPWD => /tmp/ftp/php-5.5.0alpha1
EDITOR => vi
GNOME_KEYRING_PID => 3910
CFTIME => %a %eth of %B %Y %T %Z (%W/%j)
GHCROOT => /mnt/home/hwloidl/ghc-build/threads/ghc
LANG => en_GB.UTF-8
TEST_PHP_EXECUTABLE => /tmp/ftp/php-5.5.0alpha1/sapi/cli/php
PYTHONSTARTUP => /etc/pythonrc.py
pwdsize => 24
TZ => GMT
f => /mnt/home/hwloidl/bin/hw_os
LC_MEASUREMENT => en_GB.UTF-8
DCLIBS => -I/usr/local/d2c/lib
MAJOR => 4
MACHINE => laptop-14-230.macs.hw.ac.uk
ONEHUNDRED => 135
LL => 15
DERIVEPATH => /mnt/home/hwloidl/share/derive
PVM_HOST_FILE => /mnt/home/hwloidl/hwloidl-remus/etc/PVM/
LINES => 24
PYTHONDONTWRITEBYTECODE => 1
SysMan => /local/fp/lib/ghc/0.26/sparc-sun-sunos4/SysMan
GDMSESSION => 02GNOME
dsg => /net/azdak/dsg
MAILDROP => /usr/spool/mail/hwloidl
MELMAC => melmac.risc.uni-linz.ac.at
HISTCONTROL => ignoredups
SSH_ASKPASS => /usr/lib64/ssh/ssh-askpass
melmac => //hwloidl@melmac.risc.uni-linz.ac.at:
MPI => /usr/lib/openmpi/1.3.2-gcc
ONE => 1.35
TEXINPUTS => .:/mnt/home/hwloidl/tex//:/mnt/home/hwloidl/tex/beamer//:/mnt/home/hwloidl/pgf//:/home/hwloidl/EmBounded/docs/sty:.:/mnt/home/hwloidl/tex::.:/mnt/home/hwloidl/tex//:/mnt/home/hwloidl/tex/beamer//:/mnt/home/hwloidl/pgf//:/home/hwloidl/EmBounded/docs/sty:.:/mnt/home/hwloidl/tex:::
HOME => /mnt/home/hwloidl
XDG_SEAT => seat0
IRCNICK => HW
SHLVL => 3
HAMC_FLAGS => -I /home/hwloidl/Hume-hw-tinkering/humec/../BUILDS/bin/humec_lib /home/hwloidl/Hume-hw-tinkering/humec/../BUILDS/bin/humec_lib/rts.ar
LESSCHARSET => utf-8
LANGUAGE => en_GB.UTF-8:en_GB:en
MY_MANPATH => :/usr/share/pvm3/man::/usr/share/pvm3/man:
usernam => hwloidl
FSP_PORT => 8765
PVM_DPATH => /usr/share/pvm3/lib/pvmd
fillsize => 0
GNOME_DESKTOP_SESSION_ID => this-is-deprecated
DOI => /usr/share/pvm3/bin/SUN4
GCONF_TMPDIR => /tmp
violet => //hwloidl@violet.risc.uni-linz.ac.at:
MPIHOME => /mnt/home/hwloidl/TEST/
whitby => //dcs8hwl@whitby.dur.ac.uk:
SHADE => /local/fp/spat/shade.v8
builds => /net/dazdak/BUILDS
TMP => /tmp
G_FILENAME_ENCODING => @locale
LESS => -MM
TGIFPATH => /usr/local/lib/tgif
BHELP => /usr/local/crisp/crisp/help
LOGNAME => hwloidl
MEDIUM_LOAD => 50
VISUAL => vi
PRINTER => cps1g59
PREFIX => /usr/local
CVS_RSH => ssh
SSH_CONNECTION => deleted
LC_CTYPE => en_GB.UTF-8
DBUS_SESSION_BUS_ADDRESS => unix:abstract=/tmp/dbus-mjbgDDEMsy,guid=2d0a122333e8f1d0d84b3415000000ab
PE => =local=grasp_tmp2=hwloidl=ghc-BUILDS=LOLITA-par-BUILD=parallel=haskell=tomita=test.exec
CLASSPATH => /var/www/html/mrg/pcc/consumer/heaps::/mnt/home/hwloidl/share/java:/mnt/home/hwloidl/public_html/classes:.
BPACKAGES => m,c,h,asm,occ,mod,d
usersize => 7
LESSOPEN => |/usr/bin/lesspipe.sh %s
ALTAIR => altair.dur.ac.uk
STATUS_LINE => \[\033]0;\u@\h:\w\007\]\[\033[1;33m\]-\[\033[0;30m\]-(\[\033[1;31m\]$(date +%H:%M)\[\033[0;30m\] \[\033[1;31m\]$(date "+%a,%d %b %y")\[\033[0;30m\])-\[\033[1;33m\]-${fill}\[\033[0;30m\]-(\[\033[0;31m\]${newPWD}\[\033[0;30m\])-\[\033[1;33m\]-
sparc => /net/dazdak/BUILDS/gransim-4.00/sparc-sun-solaris
MUDWHOPORT => 6889
time_str => 19:42
saclib => /mnt/home/hwloidl/saclib
ARCH => x86_64
BROWSER => /usr/bin/www-browser
PROMPT_COMMAND => prompt_command
RISC => risc.uni-linz.ac.at
SPB => springbank.dcs.st-and.ac.uk
WINDOWPATH => 3
XDG_RUNTIME_DIR => /run/user/hwloidl
DISPLAY => :0
META_CLASS => desktop
CC => cc
rts4 => /net/dazdak/gransim-4.00/fptools/ghc/rts
LOAD_COLOUR => \[\033[1;31m\]
FN => -adobe-courier-bold-r-*-*-18-*-*-*-*-*-iso8859-1
LC_TIME => en_GB.UTF-8
FSP_LOCALPORT => 4334
XAUTHORITY => /var/run/gdm/auth-for-hwloidl-AEMe0S/database
LC_NAME => en_GB.UTF-8
COLORTERM => gnome-terminal
COLOUR_LOW => \[\033[1;34m\]
show_prompt => () { echo "${COLOUR_LOW}0-${MEDIUM_LOAD}-${COLOUR_MEDIUM}-${HIGH_LOAD}-${COLOUR_HIGH}-inf${NO_COLOUR}\n"
}
prompt_command => () { local BLACK="\[\033[0;30m\]";
local RED="\[\033[0;31m\]";
local GREEN="\[\033[0;32m\]";
local BROWN="\[\033[0;33m\]";
local BLUE="\[\033[0;34m\]";
local PURPLE="\[\033[0;35m\]";
local CYAN="\[\033[0;36m\]";
local LIGHT_GRAY="\[\033[0;37m\]";
local DARK_GRAY="\[\033[1;30m\]";
local LIGHT_RED="\[\033[1;31m\]";
local LIGHT_GREEN="\[\033[1;32m\]";
local YELLOW="\[\033[1;33m\]";
local LIGHT_BLUE="\[\033[1;34m\]";
local LIGHT_PURPLE="\[\033[1;35m\]";
local LIGHT_CYAN="\[\033[1;36m\]";
local WHITE="\[\033[1;37m\]";
local NO_COLOUR="\[\033[0m\]";
TERMWIDTH=${COLUMNS};
MAJOR="`echo $BASH_VERSION | sed -e 's/^\([^.]*\)\.\([^.]*\).*$/\1/'`";
MINOR="`echo $BASH_VERSION | sed -e 's/^\([^.]*\)\.\([^.]*\).*$/\2/'`";
MINOR="`echo $MINOR | sed -e 's/[a-z]*$//'`";
hostnam=$(echo -n $HOSTNAME | sed -e "s/[\.].*//");
usernam=$(whoami);
let usersize=$(echo -n $usernam | wc -c | tr -d " ");
newPWD="${PWD}";
let pwdsize=$(echo -n ${newPWD} | wc -c | tr -d " ");
time_str=$(date +%H:%M);
date_str=$(date "+%a,%d %b %y");
let promptsize=$(echo -n "--(${time_str}) \$(${date_str})(${PWD})--" | wc -c | tr -d " ");
let fillsize=${TERMWIDTH}-${promptsize};
fill="";
while [ "$fillsize" -gt "0" ]; do
fill="${fill}-";
let fillsize=${fillsize}-1;
done;
if [ "$fillsize" -lt "0" ]; then
let cut=3-${fillsize};
sedvar="";
while [ "$cut" -gt "0" ]; do
sedvar="${sedvar}.";
let cut=${cut}-1;
done;
newPWD="...$(echo -n $PWD | sed -e "s/\(^${sedvar}\)\(.*\)/\2/")";
fi;
ONE=$(uptime | sed -e "s/.*load average: \(.*\...\), \(.*\...\), \(.*\...\)/\1/" -e "s/ //g");
ONEHUNDRED=$(echo -e "scale=0 \n $ONE/0.01 \nquit \n" | bc);
if [ $ONEHUNDRED -gt $MEDIUM_LOAD ]; then
if [ $ONEHUNDRED -gt $HIGH_LOAD ]; then
LOAD_COLOUR=$COLOUR_HIGH;
else
LOAD_COLOUR=$COLOUR_MEDIUM;
fi;
else
LOAD_COLOUR=$COLOUR_LOW;
fi;
STATUS_LINE="$TITLEBAR$YELLOW-$BLACK-(${LOAD_COLOUR}\$(date +%H:%M)$BLACK ${LOAD_COLOUR}\$(date \"+%a,%d %b %y\")${BLACK})-${YELLOW}-\${fill}${BLACK}-($RED\${newPWD}$BLACK)-$YELLOW-";
case $TERM in
xterm*)
TITLEBAR='\[\033]0;\u@\h:\w\007\]'
;;
*)
TITLEBAR=""
;;
esac;
if [ $MAJOR -ge 2 ]; then
BASH_COLOUR=$COLOUR_NEW;
REAL_PROMPT="$YELLOW-$BLACK-(${BASH_COLOUR}\h${BLACK}[\!]$RED(\v))-$YELLOW-$NO_COLOUR ";
fi;
if [ \( $MAJOR -eq 1 \) -a \( $MINOR -eq 14 \) ]; then
BASH_COLOUR=$COLOUR_OLD;
REAL_PROMPT="$YELLOW-$BLACK-(${BASH_COLOUR}\h[\!])-$YELLOW-$NO_COLOUR ";
fi;
case $TERM in
xterm*)
TITLEBAR='\[\033]0;\u@\h:\w\007\]'
;;
*)
TITLEBAR=""
;;
esac;
PS1="$STATUS_LINE\n$REAL_PROMPT";
PS2="$BLACK-$YELLOW-$YELLOW-$NO_COLOUR "
}
fallback => () { export PATH=/bin:/usr/bin:/usr/local/bin:/usr/bin/X11:/usr/X11R6/bin:/var/local/gnu/bin:/home/hwloidl/bin:/home/hwloidl/bin/i386-unknown-linux:/home/hwloidl/DISTS/Isabelle/bin;
export LD_LIBRARY_PATH=/var/local/gnu/lib:/home/hwloidl/lib:/usr/java/j2sdk1.4.1_01/lib:/lib:/usr/lib:/usr/local/lib:/usr/X11R6/lib:/home/hwloidl/DISTS/Isabelle/lib
}
plain_prompt => () { PS1="\h[\!](\v)> "
}
fancy_prompt => () { PROMPT_COMMAND=prompt_command;
export PROMPT_COMMAND MAJOR MINOR
}
termwide_prompt => () { local BLACK="\[\033[0;30m\]";
local RED="\[\033[0;31m\]";
local GREEN="\[\033[0;32m\]";
local BROWN="\[\033[0;33m\]";
local BLUE="\[\033[0;34m\]";
local PURPLE="\[\033[0;35m\]";
local CYAN="\[\033[0;36m\]";
local LIGHT_GRAY="\[\033[0;37m\]";
local DARK_GRAY="\[\033[1;30m\]";
local LIGHT_RED="\[\033[1;31m\]";
local LIGHT_GREEN="\[\033[1;32m\]";
local YELLOW="\[\033[1;33m\]";
local LIGHT_BLUE="\[\033[1;34m\]";
local LIGHT_PURPLE="\[\033[1;35m\]";
local LIGHT_CYAN="\[\033[1;36m\]";
local WHITE="\[\033[1;37m\]";
local NO_COLOUR="\[\033[0m\]";
case $TERM in
xterm*)
TITLEBAR='\[\033]0;\u@\h:\w\007\]'
;;
*)
TITLEBAR=""
;;
esac;
PS1="$TITLEBAR$YELLOW-$LIGHT_BLUE-($RED\$(date +%H:%M)$LIGHT_BLUE $RED\$(date \"+%a,%d %b %y\")${LIGHT_BLUE})-${YELLOW}-\${fill}${LIGHT_BLUE}-($RED\${newPWD}$LIGHT_BLUE)-$YELLOW-\n$YELLOW-$LIGHT_BLUE-($RED\${usernam}$LIGHT_BLUE@$RED\${hostnam}$LIGHT_BLUE:$WHITE\$$LIGHT_BLUE)-$YELLOW-$NO_COLOUR ";
PS2="$LIGHT_BLUE-$YELLOW-$YELLOW-$NO_COLOUR "
}
rand_pic => () { perl -e 'opendir(F,"."); @s=readdir(F); while (1) { $i=(int(rand(400))+6) ; system("display $s[$i]") }; closedir(F)'
}
PHP Variables
Variable => Value
_SERVER["LESSKEY"] => /etc/.less
_SERVER["XDG_VTNR"] => 3
_SERVER["LC_PAPER"] => en_GB.UTF-8
_SERVER["BIBINPUTS"] => /mnt/home/hwloidl/tex/bib:/mnt/home/hwloidl/tex/bib/bib:.
_SERVER["BASH_COLOUR"] =>
_SERVER["MANPATH"] => /mnt/home/hwloidl/man:/usr/man:/usr/local/man:/usr/X11R6/man:/dsg/local/man:/gnu/man:/usr/share/man:/mnt/home/hwloidl/gnu/man
_SERVER["NNTPSERVER"] => news.cee.hw.ac.uk
_SERVER["SUPPORTED"] =>
_SERVER["SSH_AGENT_PID"] => 3961
_SERVER["XDG_SESSION_ID"] => 3
_SERVER["LC_ADDRESS"] => en_GB.UTF-8
_SERVER["hostnam"] => laptop-14-230
_SERVER["FSP_DIR"] => /
_SERVER["HOSTNAME"] => laptop-14-230.macs.hw.ac.uk
_SERVER["LC_MONETARY"] => en_GB.UTF-8
_SERVER["TEST_PHP_SRCDIR"] => /tmp/ftp/php-5.5.0alpha1
_SERVER["D"] => 2711
_SERVER["date_str"] => Tue,27 Nov 12
_SERVER["BSTINPUTS"] => /mnt/home/hwloidl/tex/:.:/usr/share/texmf/bibtex/bst//
_SERVER["GNU"] => /gnu
_SERVER["MRGJVMHOME"] => /home/hwloidl/mrg-working/progs-demo-y4/consumer/bin
_SERVER["GPG_AGENT_INFO"] => /run/user/hwloidl/keyring-cb75l9/gpg:0:1
_SERVER["SHELL"] => /bin/bash
_SERVER["lion"] => //hwloidl@lion.risc.uni-linz.ac.at:
_SERVER["i386"] => /net/dazdak/BUILDS/gransim-4.00/i386-unknown-linux
_SERVER["FN2"] => -adobe-courier-medium-r-*-*-14-*-*-*-*-*-iso8859-1
_SERVER["TERM"] => xterm
_SERVER["HOST"] => laptop-14-230.macs.hw.ac.uk
_SERVER["LC_SOURCED"] => 1
_SERVER["HIGH_LOAD"] => 100
_SERVER["XDG_SESSION_COOKIE"] => f921191881f1e86daf465ddf00000026-1354017585.35591-34340738
_SERVER["MRGISABELLE"] => emacs
_SERVER["CANBERRA_DRIVER"] => pulse
_SERVER["MAKEFLAGS"] =>
_SERVER["HISTSIZE"] => 100
_SERVER["SSH_CLIENT"] => deleted
_SERVER["PGPPATH"] => /mnt/home/hwloidl/.pgp
_SERVER["TMPDIR"] => /tmp
_SERVER["OLD_MY_TEXINPUTS"] => /mnt/home/hwloidl/tex:.:/usr/local/tex/inputs/:
_SERVER["CVSROOT"] => :ext:hwloidl@cvs.haskell.org:/home/cvs/root
_SERVER["GBS_FLAGS"] => -std=gnu99 -g -lm -lpthread humestubs.c -L/home/hwloidl/Hume/BUILDS/lib -lhumecrts -I/home/hwloidl/Hume/BUILDS/include/humec
_SERVER["GS_LIB"] => :/mnt/home/hwloidl/lib/ghostscript/3.12/fonts
_SERVER["GJS_DEBUG_OUTPUT"] => stderr
_SERVER["MGA_MENU_STYLE"] => mageia
_SERVER["WINDOWID"] => 8388613
_SERVER["LC_NUMERIC"] => en_GB.UTF-8
_SERVER["HAWAII"] => hawaii.dcs.glasgow.ac.uk
_SERVER["hawaii"] => //hwloidl@hawaii.dcs.gla.ac.uk
_SERVER["BTERM"] => xterm
_SERVER["GNOME_KEYRING_CONTROL"] => /run/user/hwloidl/keyring-cb75l9
_SERVER["MRGLOCALBINDIR"] => /var/local/t
_SERVER["TGIFICON"] => tgificon.obj
_SERVER["promptsize"] => 54
_SERVER["GJS_DEBUG_TOPICS"] => JS ERROR;JS LOG
_SERVER["SSH_TTY"] => deleted
_SERVER["HUGSEDIT"] => emacs -q --eval '(progn (setq hwl-enable-list '(font-lock iswitchb stig-paren ange-ftp dired igrep hugs-mode)) (setq hwl-emacs-background "LightGray") (load-file (expand-file-name "~/.emacs")))'
_SERVER["Args"] => - 1 +RTS -H40M -K2M -RTS
_SERVER["XAPPLRESDIR"] => /usr/X11/lib/X11/app-defaults:~/lib/X11/app-defaults
_SERVER["HASKELLPROG"] => gsghc
_SERVER["HISTFILESIZE"] => 100
_SERVER["USER"] => hwloidl
_SERVER["g4"] => /net/dazdak/gransim-4.00/fptools
_SERVER["LS_COLORS"] => no=00:fi=00:di=01;34:ln=30;46:pi=40;33:so=01;35:bd=40;33;01:cd=40;33;01:or=01;40;31:ex=00;31:*.c=04;32:*.hs=04;32:*.lhs=04;32:*.gs=04;32:*.lgs=04;32:*.scm=04;32:*.pl=04;32:*.yy=04;32:*.y=04;32:*.el=04;32:*.java=04;32:*.tex=04;34:*.bib=04;34:*.tar=07;31:*.tgz=07;31:*.tpr=07;31:*.tpz=07;31:*.uue=07;31:*.arj=07;31:*.taz=07;31:*.lzh=07;31:*.zip=07;31:*.z=07;31:*.Z=07;31:*.gz=07;31:*.deb=01;31:*.jpg=01;35:*.gif=01;35:*.bmp=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.mpg=01;37:*.avi=01;37:*.gl=01;37:*.dl=01;37:*.ps=00;35:*.eps=00;35:*\~=30;43:*\^=30;43
_SERVER["LD_LIBRARY_PATH"] => /usr/java/j2sdk1.4.1_01/lib:/usr/java/j2sdk1.4.1_01/lib::/lib:/usr/lib:/usr/local/lib:/var/local/gnu/lib:/opt/kde3/lib:/opt/gnome/lib:/mnt/home/hwloidl/gnu/lib:/mnt/home/hwloidl/DISTS/Isabelle/lib:/lib:/usr/lib:/usr/local/lib:/var/local/gnu/lib:/opt/kde3/lib:/opt/gnome/lib:/mnt/home/hwloidl/gnu/lib:/mnt/home/hwloidl/DISTS/Isabelle/lib
_SERVER["LC_TELEPHONE"] => en_GB.UTF-8
_SERVER["CSFINPUT"] => /mnt/home/hwloidl/tex/csf:
_SERVER["FSP_HOST"] => melmac.risc.uni-linz.ac.at
_SERVER["KHBIB"] => /users/fp/kh/data/monsoon.bib /users/fp/kh/data/simon.bib /users/fp/kh/docs/pasco94/invited.bib /users/fp/kh/docs/pasco94/old/invited.bib /users/fp/kh/docs/pasco94/fpcrisc.bib /users/fp/kh/docs/pasco94/fpcown.bib /users/fp/kh/docs/pasco94/fpcparla.bib /users/fp/kh/docs/pasco94/fpcna.bib /users/fp/kh/docs/pasco94/fpcnew.bib /users/fp/kh/docs/pasco94/fpcnew2.bib /users/fp/kh/docs/fp-workshop/workshop93/wakeling/ayr93/etc/references.bib /users/fp/kh/docs/others/parallel_fp_history/History.bib /users/fp/kh/docs/parade/norwich94/invited.bib
_SERVER["TITLEBAR"] => \[\033]0;\u@\h:\w\007\]
_SERVER["SSH_AUTH_SOCK"] => deleted
_SERVER["PVM_ROOT"] => /usr/share/pvm3
_SERVER["HUGSPATH"] => /mnt/home/hwloidl/gofer
_SERVER["FOOO"] => 0
_SERVER["SESSION_MANAGER"] => local/laptop-14-230.macs.hw.ac.uk:@/tmp/.ICE-unix/3926,unix/laptop-14-230.macs.hw.ac.uk:/tmp/.ICE-unix/3926
_SERVER["HW_OS"] => unknown-unknown-unknown
_SERVER["MAKELEVEL"] => 1
_SERVER["COLUMNS"] => 80
_SERVER["SYSTEMD_PAGER"] => /usr/bin/less -FR
_SERVER["spb"] => //hwloidl@springbank.dcs.st-and.ac.uk:
_SERVER["PAGER"] => less
_SERVER["TERMWIDTH"] => 80
_SERVER["PVM_ARCH"] => SUN4
_SERVER["MFLAGS"] =>
_SERVER["BFLAGS"] => -t -K350 -i15
_SERVER["fill"] => --------------------------
_SERVER["XDG_CONFIG_DIRS"] => /etc/xdg:/etc/xdg/gnome
_SERVER["COLOUR_HIGH"] => \[\033[1;31m\]
_SERVER["MINOR"] => 2
_SERVER["XALARMFILEPATH"] => /mnt/home/hwloidl
_SERVER["NLSPATH"] => /usr/share/locale/%l/%N
_SERVER["DESKTOP_SESSION"] => 02GNOME
_SERVER["BIBTEX_CSFILE"] => 88591lat.csf
_SERVER["PATH"] => /home/hwloidl/bin/i386-unknown-linux:/home/hwloidl/bin:/var/local/jdk1.5.0/bin:/var/local/t:/usr/java/j2sdk1.4.1_01/bin:/mnt/home/hwloidl/ftp/MPlayer-1.0pre4:/mnt/home/hwloidl/bin/unknown-unknown-unknown:/mnt/home/hwloidl/bin:/usr/local/bin:/gnu/arch/bin:/dsg/local/bin::/bin:/usr/bin::/usr/local/bin:/local/unknown-unknown-unknown/bin:/local/com/bin:/local/com/graphics/bin::/bin:::/mnt/home/hwloidl/grasp/GrAn/bin:/usr/ccs/bin:/sbin:/usr/sbin:/usr/ucb:/usr/hosts:/usr/games:/var/local/gnu/bin:/mnt/home/hwloidl/private/HYW/bin:/mnt/home/hwloidl/gnu/bin:/mnt/home/hwloidl/tmp/gnu/bin:/opt/kde3/bin:/opt/gnome/bin:/mnt/home/hwloidl/Hume/BUILDS/bin:/mnt/home/hwloidl/DISTS/Isabelle/bin:/usr/share/pvm3/lib:/usr/share/pvm3:/usr/lib/openmpi/1.3.2-gcc/bin:/mnt/home/hwloidl/TEST//bin
_SERVER["REAL_PROMPT"] => \[\033[1;33m\]-\[\033[0;30m\]-(\h\[\033[0;30m\][\!]\[\033[0;31m\](\v))-\[\033[1;33m\]-\[\033[0m\]
_SERVER["MAIL"] => /usr/spool/mail/hwloidl
_SERVER["LC_MESSAGES"] => en_GB.UTF-8
_SERVER["COLOUR_MEDIUM"] => \[\033[1;33m\]
_SERVER["_"] => /tmp/ftp/php-5.5.0alpha1/sapi/cli/php
_SERVER["BPATH"] => /usr/local/crisp/crisp/macros;/crisp
_SERVER["MUDWHOSERVER"] => riemann.math.okstate.edu
_SERVER["LC_COLLATE"] => en_GB.UTF-8
_SERVER["DOI0"] => /bin/SUN4
_SERVER["LC_IDENTIFICATION"] => en_GB.UTF-8
_SERVER["PWD"] => /tmp/ftp/php-5.5.0alpha1
_SERVER["IRCSERVER"] => irc.uni-linz.ac.at
_SERVER["XMODIFIERS"] => @im=none
_SERVER["ftp"] => /net/dazdak/hwloidl/ftp
_SERVER["MY_TEXINPUTS"] => .:/mnt/home/hwloidl/tex::.:/mnt/home/hwloidl/tex//:/mnt/home/hwloidl/tex/beamer//:/mnt/home/hwloidl/pgf//:/home/hwloidl/EmBounded/docs/sty:.:/mnt/home/hwloidl/tex:::
_SERVER["newPWD"] => /tmp/ftp/php-5.5.0alpha1
_SERVER["EDITOR"] => vi
_SERVER["GNOME_KEYRING_PID"] => 3910
_SERVER["CFTIME"] => %a %eth of %B %Y %T %Z (%W/%j)
_SERVER["GHCROOT"] => /mnt/home/hwloidl/ghc-build/threads/ghc
_SERVER["LANG"] => en_GB.UTF-8
_SERVER["TEST_PHP_EXECUTABLE"] => /tmp/ftp/php-5.5.0alpha1/sapi/cli/php
_SERVER["PYTHONSTARTUP"] => /etc/pythonrc.py
_SERVER["pwdsize"] => 24
_SERVER["TZ"] => GMT
_SERVER["f"] => /mnt/home/hwloidl/bin/hw_os
_SERVER["LC_MEASUREMENT"] => en_GB.UTF-8
_SERVER["DCLIBS"] => -I/usr/local/d2c/lib
_SERVER["MAJOR"] => 4
_SERVER["MACHINE"] => laptop-14-230.macs.hw.ac.uk
_SERVER["ONEHUNDRED"] => 135
_SERVER["LL"] => 15
_SERVER["DERIVEPATH"] => /mnt/home/hwloidl/share/derive
_SERVER["PVM_HOST_FILE"] => /mnt/home/hwloidl/hwloidl-remus/etc/PVM/
_SERVER["LINES"] => 24
_SERVER["PYTHONDONTWRITEBYTECODE"] => 1
_SERVER["SysMan"] => /local/fp/lib/ghc/0.26/sparc-sun-sunos4/SysMan
_SERVER["GDMSESSION"] => 02GNOME
_SERVER["dsg"] => /net/azdak/dsg
_SERVER["MAILDROP"] => /usr/spool/mail/hwloidl
_SERVER["MELMAC"] => melmac.risc.uni-linz.ac.at
_SERVER["HISTCONTROL"] => ignoredups
_SERVER["SSH_ASKPASS"] => /usr/lib64/ssh/ssh-askpass
_SERVER["melmac"] => //hwloidl@melmac.risc.uni-linz.ac.at:
_SERVER["MPI"] => /usr/lib/openmpi/1.3.2-gcc
_SERVER["ONE"] => 1.35
_SERVER["TEXINPUTS"] => .:/mnt/home/hwloidl/tex//:/mnt/home/hwloidl/tex/beamer//:/mnt/home/hwloidl/pgf//:/home/hwloidl/EmBounded/docs/sty:.:/mnt/home/hwloidl/tex::.:/mnt/home/hwloidl/tex//:/mnt/home/hwloidl/tex/beamer//:/mnt/home/hwloidl/pgf//:/home/hwloidl/EmBounded/docs/sty:.:/mnt/home/hwloidl/tex:::
_SERVER["HOME"] => /mnt/home/hwloidl
_SERVER["XDG_SEAT"] => seat0
_SERVER["IRCNICK"] => HW
_SERVER["SHLVL"] => 3
_SERVER["HAMC_FLAGS"] => -I /home/hwloidl/Hume-hw-tinkering/humec/../BUILDS/bin/humec_lib /home/hwloidl/Hume-hw-tinkering/humec/../BUILDS/bin/humec_lib/rts.ar
_SERVER["LESSCHARSET"] => utf-8
_SERVER["LANGUAGE"] => en_GB.UTF-8:en_GB:en
_SERVER["MY_MANPATH"] => :/usr/share/pvm3/man::/usr/share/pvm3/man:
_SERVER["usernam"] => hwloidl
_SERVER["FSP_PORT"] => 8765
_SERVER["PVM_DPATH"] => /usr/share/pvm3/lib/pvmd
_SERVER["fillsize"] => 0
_SERVER["GNOME_DESKTOP_SESSION_ID"] => this-is-deprecated
_SERVER["DOI"] => /usr/share/pvm3/bin/SUN4
_SERVER["GCONF_TMPDIR"] => /tmp
_SERVER["violet"] => //hwloidl@violet.risc.uni-linz.ac.at:
_SERVER["MPIHOME"] => /mnt/home/hwloidl/TEST/
_SERVER["whitby"] => //dcs8hwl@whitby.dur.ac.uk:
_SERVER["SHADE"] => /local/fp/spat/shade.v8
_SERVER["builds"] => /net/dazdak/BUILDS
_SERVER["TMP"] => /tmp
_SERVER["G_FILENAME_ENCODING"] => @locale
_SERVER["LESS"] => -MM
_SERVER["TGIFPATH"] => /usr/local/lib/tgif
_SERVER["BHELP"] => /usr/local/crisp/crisp/help
_SERVER["LOGNAME"] => hwloidl
_SERVER["MEDIUM_LOAD"] => 50
_SERVER["VISUAL"] => vi
_SERVER["PRINTER"] => cps1g59
_SERVER["PREFIX"] => /usr/local
_SERVER["CVS_RSH"] => ssh
_SERVER["SSH_CONNECTION"] => deleted
_SERVER["LC_CTYPE"] => en_GB.UTF-8
_SERVER["DBUS_SESSION_BUS_ADDRESS"] => unix:abstract=/tmp/dbus-mjbgDDEMsy,guid=2d0a122333e8f1d0d84b3415000000ab
_SERVER["PE"] => =local=grasp_tmp2=hwloidl=ghc-BUILDS=LOLITA-par-BUILD=parallel=haskell=tomita=test.exec
_SERVER["CLASSPATH"] => /var/www/html/mrg/pcc/consumer/heaps::/mnt/home/hwloidl/share/java:/mnt/home/hwloidl/public_html/classes:.
_SERVER["BPACKAGES"] => m,c,h,asm,occ,mod,d
_SERVER["usersize"] => 7
_SERVER["LESSOPEN"] => |/usr/bin/lesspipe.sh %s
_SERVER["ALTAIR"] => altair.dur.ac.uk
_SERVER["STATUS_LINE"] => \[\033]0;\u@\h:\w\007\]\[\033[1;33m\]-\[\033[0;30m\]-(\[\033[1;31m\]$(date +%H:%M)\[\033[0;30m\] \[\033[1;31m\]$(date "+%a,%d %b %y")\[\033[0;30m\])-\[\033[1;33m\]-${fill}\[\033[0;30m\]-(\[\033[0;31m\]${newPWD}\[\033[0;30m\])-\[\033[1;33m\]-
_SERVER["sparc"] => /net/dazdak/BUILDS/gransim-4.00/sparc-sun-solaris
_SERVER["MUDWHOPORT"] => 6889
_SERVER["time_str"] => 19:42
_SERVER["saclib"] => /mnt/home/hwloidl/saclib
_SERVER["ARCH"] => x86_64
_SERVER["BROWSER"] => /usr/bin/www-browser
_SERVER["PROMPT_COMMAND"] => prompt_command
_SERVER["RISC"] => risc.uni-linz.ac.at
_SERVER["SPB"] => springbank.dcs.st-and.ac.uk
_SERVER["WINDOWPATH"] => 3
_SERVER["XDG_RUNTIME_DIR"] => /run/user/hwloidl
_SERVER["DISPLAY"] => :0
_SERVER["META_CLASS"] => desktop
_SERVER["CC"] => cc
_SERVER["rts4"] => /net/dazdak/gransim-4.00/fptools/ghc/rts
_SERVER["LOAD_COLOUR"] => \[\033[1;31m\]
_SERVER["FN"] => -adobe-courier-bold-r-*-*-18-*-*-*-*-*-iso8859-1
_SERVER["LC_TIME"] => en_GB.UTF-8
_SERVER["FSP_LOCALPORT"] => 4334
_SERVER["XAUTHORITY"] => /var/run/gdm/auth-for-hwloidl-AEMe0S/database
_SERVER["LC_NAME"] => en_GB.UTF-8
_SERVER["COLORTERM"] => gnome-terminal
_SERVER["COLOUR_LOW"] => \[\033[1;34m\]
_SERVER["show_prompt"] => () { echo "${COLOUR_LOW}0-${MEDIUM_LOAD}-${COLOUR_MEDIUM}-${HIGH_LOAD}-${COLOUR_HIGH}-inf${NO_COLOUR}\n"
}
_SERVER["prompt_command"] => () { local BLACK="\[\033[0;30m\]";
local RED="\[\033[0;31m\]";
local GREEN="\[\033[0;32m\]";
local BROWN="\[\033[0;33m\]";
local BLUE="\[\033[0;34m\]";
local PURPLE="\[\033[0;35m\]";
local CYAN="\[\033[0;36m\]";
local LIGHT_GRAY="\[\033[0;37m\]";
local DARK_GRAY="\[\033[1;30m\]";
local LIGHT_RED="\[\033[1;31m\]";
local LIGHT_GREEN="\[\033[1;32m\]";
local YELLOW="\[\033[1;33m\]";
local LIGHT_BLUE="\[\033[1;34m\]";
local LIGHT_PURPLE="\[\033[1;35m\]";
local LIGHT_CYAN="\[\033[1;36m\]";
local WHITE="\[\033[1;37m\]";
local NO_COLOUR="\[\033[0m\]";
TERMWIDTH=${COLUMNS};
MAJOR="`echo $BASH_VERSION | sed -e 's/^\([^.]*\)\.\([^.]*\).*$/\1/'`";
MINOR="`echo $BASH_VERSION | sed -e 's/^\([^.]*\)\.\([^.]*\).*$/\2/'`";
MINOR="`echo $MINOR | sed -e 's/[a-z]*$//'`";
hostnam=$(echo -n $HOSTNAME | sed -e "s/[\.].*//");
usernam=$(whoami);
let usersize=$(echo -n $usernam | wc -c | tr -d " ");
newPWD="${PWD}";
let pwdsize=$(echo -n ${newPWD} | wc -c | tr -d " ");
time_str=$(date +%H:%M);
date_str=$(date "+%a,%d %b %y");
let promptsize=$(echo -n "--(${time_str}) \$(${date_str})(${PWD})--" | wc -c | tr -d " ");
let fillsize=${TERMWIDTH}-${promptsize};
fill="";
while [ "$fillsize" -gt "0" ]; do
fill="${fill}-";
let fillsize=${fillsize}-1;
done;
if [ "$fillsize" -lt "0" ]; then
let cut=3-${fillsize};
sedvar="";
while [ "$cut" -gt "0" ]; do
sedvar="${sedvar}.";
let cut=${cut}-1;
done;
newPWD="...$(echo -n $PWD | sed -e "s/\(^${sedvar}\)\(.*\)/\2/")";
fi;
ONE=$(uptime | sed -e "s/.*load average: \(.*\...\), \(.*\...\), \(.*\...\)/\1/" -e "s/ //g");
ONEHUNDRED=$(echo -e "scale=0 \n $ONE/0.01 \nquit \n" | bc);
if [ $ONEHUNDRED -gt $MEDIUM_LOAD ]; then
if [ $ONEHUNDRED -gt $HIGH_LOAD ]; then
LOAD_COLOUR=$COLOUR_HIGH;
else
LOAD_COLOUR=$COLOUR_MEDIUM;
fi;
else
LOAD_COLOUR=$COLOUR_LOW;
fi;
STATUS_LINE="$TITLEBAR$YELLOW-$BLACK-(${LOAD_COLOUR}\$(date +%H:%M)$BLACK ${LOAD_COLOUR}\$(date \"+%a,%d %b %y\")${BLACK})-${YELLOW}-\${fill}${BLACK}-($RED\${newPWD}$BLACK)-$YELLOW-";
case $TERM in
xterm*)
TITLEBAR='\[\033]0;\u@\h:\w\007\]'
;;
*)
TITLEBAR=""
;;
esac;
if [ $MAJOR -ge 2 ]; then
BASH_COLOUR=$COLOUR_NEW;
REAL_PROMPT="$YELLOW-$BLACK-(${BASH_COLOUR}\h${BLACK}[\!]$RED(\v))-$YELLOW-$NO_COLOUR ";
fi;
if [ \( $MAJOR -eq 1 \) -a \( $MINOR -eq 14 \) ]; then
BASH_COLOUR=$COLOUR_OLD;
REAL_PROMPT="$YELLOW-$BLACK-(${BASH_COLOUR}\h[\!])-$YELLOW-$NO_COLOUR ";
fi;
case $TERM in
xterm*)
TITLEBAR='\[\033]0;\u@\h:\w\007\]'
;;
*)
TITLEBAR=""
;;
esac;
PS1="$STATUS_LINE\n$REAL_PROMPT";
PS2="$BLACK-$YELLOW-$YELLOW-$NO_COLOUR "
}
_SERVER["fallback"] => () { export PATH=/bin:/usr/bin:/usr/local/bin:/usr/bin/X11:/usr/X11R6/bin:/var/local/gnu/bin:/home/hwloidl/bin:/home/hwloidl/bin/i386-unknown-linux:/home/hwloidl/DISTS/Isabelle/bin;
export LD_LIBRARY_PATH=/var/local/gnu/lib:/home/hwloidl/lib:/usr/java/j2sdk1.4.1_01/lib:/lib:/usr/lib:/usr/local/lib:/usr/X11R6/lib:/home/hwloidl/DISTS/Isabelle/lib
}
_SERVER["plain_prompt"] => () { PS1="\h[\!](\v)> "
}
_SERVER["fancy_prompt"] => () { PROMPT_COMMAND=prompt_command;
export PROMPT_COMMAND MAJOR MINOR
}
_SERVER["termwide_prompt"] => () { local BLACK="\[\033[0;30m\]";
local RED="\[\033[0;31m\]";
local GREEN="\[\033[0;32m\]";
local BROWN="\[\033[0;33m\]";
local BLUE="\[\033[0;34m\]";
local PURPLE="\[\033[0;35m\]";
local CYAN="\[\033[0;36m\]";
local LIGHT_GRAY="\[\033[0;37m\]";
local DARK_GRAY="\[\033[1;30m\]";
local LIGHT_RED="\[\033[1;31m\]";
local LIGHT_GREEN="\[\033[1;32m\]";
local YELLOW="\[\033[1;33m\]";
local LIGHT_BLUE="\[\033[1;34m\]";
local LIGHT_PURPLE="\[\033[1;35m\]";
local LIGHT_CYAN="\[\033[1;36m\]";
local WHITE="\[\033[1;37m\]";
local NO_COLOUR="\[\033[0m\]";
case $TERM in
xterm*)
TITLEBAR='\[\033]0;\u@\h:\w\007\]'
;;
*)
TITLEBAR=""
;;
esac;
PS1="$TITLEBAR$YELLOW-$LIGHT_BLUE-($RED\$(date +%H:%M)$LIGHT_BLUE $RED\$(date \"+%a,%d %b %y\")${LIGHT_BLUE})-${YELLOW}-\${fill}${LIGHT_BLUE}-($RED\${newPWD}$LIGHT_BLUE)-$YELLOW-\n$YELLOW-$LIGHT_BLUE-($RED\${usernam}$LIGHT_BLUE@$RED\${hostnam}$LIGHT_BLUE:$WHITE\$$LIGHT_BLUE)-$YELLOW-$NO_COLOUR ";
PS2="$LIGHT_BLUE-$YELLOW-$YELLOW-$NO_COLOUR "
}
_SERVER["rand_pic"] => () { perl -e 'opendir(F,"."); @s=readdir(F); while (1) { $i=(int(rand(400))+6) ; system("display $s[$i]") }; closedir(F)'
}
_SERVER["PHP_SELF"] =>
_SERVER["SCRIPT_NAME"] =>
_SERVER["SCRIPT_FILENAME"] =>
_SERVER["PATH_TRANSLATED"] =>
_SERVER["DOCUMENT_ROOT"] =>
_SERVER["REQUEST_TIME_FLOAT"] => 1354045830.0235
_SERVER["REQUEST_TIME"] => 1354045830
_SERVER["argv"] => Array
(
)
_SERVER["argc"] => 0
_ENV["LESSKEY"] => /etc/.less
_ENV["XDG_VTNR"] => 3
_ENV["LC_PAPER"] => en_GB.UTF-8
_ENV["BIBINPUTS"] => /mnt/home/hwloidl/tex/bib:/mnt/home/hwloidl/tex/bib/bib:.
_ENV["BASH_COLOUR"] =>
_ENV["MANPATH"] => /mnt/home/hwloidl/man:/usr/man:/usr/local/man:/usr/X11R6/man:/dsg/local/man:/gnu/man:/usr/share/man:/mnt/home/hwloidl/gnu/man
_ENV["NNTPSERVER"] => news.cee.hw.ac.uk
_ENV["SUPPORTED"] =>
_ENV["SSH_AGENT_PID"] => 3961
_ENV["XDG_SESSION_ID"] => 3
_ENV["LC_ADDRESS"] => en_GB.UTF-8
_ENV["hostnam"] => laptop-14-230
_ENV["FSP_DIR"] => /
_ENV["HOSTNAME"] => laptop-14-230.macs.hw.ac.uk
_ENV["LC_MONETARY"] => en_GB.UTF-8
_ENV["TEST_PHP_SRCDIR"] => /tmp/ftp/php-5.5.0alpha1
_ENV["D"] => 2711
_ENV["date_str"] => Tue,27 Nov 12
_ENV["BSTINPUTS"] => /mnt/home/hwloidl/tex/:.:/usr/share/texmf/bibtex/bst//
_ENV["GNU"] => /gnu
_ENV["MRGJVMHOME"] => /home/hwloidl/mrg-working/progs-demo-y4/consumer/bin
_ENV["GPG_AGENT_INFO"] => /run/user/hwloidl/keyring-cb75l9/gpg:0:1
_ENV["SHELL"] => /bin/bash
_ENV["lion"] => //hwloidl@lion.risc.uni-linz.ac.at:
_ENV["i386"] => /net/dazdak/BUILDS/gransim-4.00/i386-unknown-linux
_ENV["FN2"] => -adobe-courier-medium-r-*-*-14-*-*-*-*-*-iso8859-1
_ENV["TERM"] => xterm
_ENV["HOST"] => laptop-14-230.macs.hw.ac.uk
_ENV["LC_SOURCED"] => 1
_ENV["HIGH_LOAD"] => 100
_ENV["XDG_SESSION_COOKIE"] => f921191881f1e86daf465ddf00000026-1354017585.35591-34340738
_ENV["MRGISABELLE"] => emacs
_ENV["CANBERRA_DRIVER"] => pulse
_ENV["MAKEFLAGS"] =>
_ENV["HISTSIZE"] => 100
_ENV["SSH_CLIENT"] => deleted
_ENV["PGPPATH"] => /mnt/home/hwloidl/.pgp
_ENV["TMPDIR"] => /tmp
_ENV["OLD_MY_TEXINPUTS"] => /mnt/home/hwloidl/tex:.:/usr/local/tex/inputs/:
_ENV["CVSROOT"] => :ext:hwloidl@cvs.haskell.org:/home/cvs/root
_ENV["GBS_FLAGS"] => -std=gnu99 -g -lm -lpthread humestubs.c -L/home/hwloidl/Hume/BUILDS/lib -lhumecrts -I/home/hwloidl/Hume/BUILDS/include/humec
_ENV["GS_LIB"] => :/mnt/home/hwloidl/lib/ghostscript/3.12/fonts
_ENV["GJS_DEBUG_OUTPUT"] => stderr
_ENV["MGA_MENU_STYLE"] => mageia
_ENV["WINDOWID"] => 8388613
_ENV["LC_NUMERIC"] => en_GB.UTF-8
_ENV["HAWAII"] => hawaii.dcs.glasgow.ac.uk
_ENV["hawaii"] => //hwloidl@hawaii.dcs.gla.ac.uk
_ENV["BTERM"] => xterm
_ENV["GNOME_KEYRING_CONTROL"] => /run/user/hwloidl/keyring-cb75l9
_ENV["MRGLOCALBINDIR"] => /var/local/t
_ENV["TGIFICON"] => tgificon.obj
_ENV["promptsize"] => 54
_ENV["GJS_DEBUG_TOPICS"] => JS ERROR;JS LOG
_ENV["SSH_TTY"] => deleted
_ENV["HUGSEDIT"] => emacs -q --eval '(progn (setq hwl-enable-list '(font-lock iswitchb stig-paren ange-ftp dired igrep hugs-mode)) (setq hwl-emacs-background "LightGray") (load-file (expand-file-name "~/.emacs")))'
_ENV["Args"] => - 1 +RTS -H40M -K2M -RTS
_ENV["XAPPLRESDIR"] => /usr/X11/lib/X11/app-defaults:~/lib/X11/app-defaults
_ENV["HASKELLPROG"] => gsghc
_ENV["HISTFILESIZE"] => 100
_ENV["USER"] => hwloidl
_ENV["g4"] => /net/dazdak/gransim-4.00/fptools
_ENV["LS_COLORS"] => no=00:fi=00:di=01;34:ln=30;46:pi=40;33:so=01;35:bd=40;33;01:cd=40;33;01:or=01;40;31:ex=00;31:*.c=04;32:*.hs=04;32:*.lhs=04;32:*.gs=04;32:*.lgs=04;32:*.scm=04;32:*.pl=04;32:*.yy=04;32:*.y=04;32:*.el=04;32:*.java=04;32:*.tex=04;34:*.bib=04;34:*.tar=07;31:*.tgz=07;31:*.tpr=07;31:*.tpz=07;31:*.uue=07;31:*.arj=07;31:*.taz=07;31:*.lzh=07;31:*.zip=07;31:*.z=07;31:*.Z=07;31:*.gz=07;31:*.deb=01;31:*.jpg=01;35:*.gif=01;35:*.bmp=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.mpg=01;37:*.avi=01;37:*.gl=01;37:*.dl=01;37:*.ps=00;35:*.eps=00;35:*\~=30;43:*\^=30;43
_ENV["LD_LIBRARY_PATH"] => /usr/java/j2sdk1.4.1_01/lib:/usr/java/j2sdk1.4.1_01/lib::/lib:/usr/lib:/usr/local/lib:/var/local/gnu/lib:/opt/kde3/lib:/opt/gnome/lib:/mnt/home/hwloidl/gnu/lib:/mnt/home/hwloidl/DISTS/Isabelle/lib:/lib:/usr/lib:/usr/local/lib:/var/local/gnu/lib:/opt/kde3/lib:/opt/gnome/lib:/mnt/home/hwloidl/gnu/lib:/mnt/home/hwloidl/DISTS/Isabelle/lib
_ENV["LC_TELEPHONE"] => en_GB.UTF-8
_ENV["CSFINPUT"] => /mnt/home/hwloidl/tex/csf:
_ENV["FSP_HOST"] => melmac.risc.uni-linz.ac.at
_ENV["KHBIB"] => /users/fp/kh/data/monsoon.bib /users/fp/kh/data/simon.bib /users/fp/kh/docs/pasco94/invited.bib /users/fp/kh/docs/pasco94/old/invited.bib /users/fp/kh/docs/pasco94/fpcrisc.bib /users/fp/kh/docs/pasco94/fpcown.bib /users/fp/kh/docs/pasco94/fpcparla.bib /users/fp/kh/docs/pasco94/fpcna.bib /users/fp/kh/docs/pasco94/fpcnew.bib /users/fp/kh/docs/pasco94/fpcnew2.bib /users/fp/kh/docs/fp-workshop/workshop93/wakeling/ayr93/etc/references.bib /users/fp/kh/docs/others/parallel_fp_history/History.bib /users/fp/kh/docs/parade/norwich94/invited.bib
_ENV["TITLEBAR"] => \[\033]0;\u@\h:\w\007\]
_ENV["SSH_AUTH_SOCK"] => deleted
_ENV["PVM_ROOT"] => /usr/share/pvm3
_ENV["HUGSPATH"] => /mnt/home/hwloidl/gofer
_ENV["FOOO"] => 0
_ENV["SESSION_MANAGER"] => local/laptop-14-230.macs.hw.ac.uk:@/tmp/.ICE-unix/3926,unix/laptop-14-230.macs.hw.ac.uk:/tmp/.ICE-unix/3926
_ENV["HW_OS"] => unknown-unknown-unknown
_ENV["MAKELEVEL"] => 1
_ENV["COLUMNS"] => 80
_ENV["SYSTEMD_PAGER"] => /usr/bin/less -FR
_ENV["spb"] => //hwloidl@springbank.dcs.st-and.ac.uk:
_ENV["PAGER"] => less
_ENV["TERMWIDTH"] => 80
_ENV["PVM_ARCH"] => SUN4
_ENV["MFLAGS"] =>
_ENV["BFLAGS"] => -t -K350 -i15
_ENV["fill"] => --------------------------
_ENV["XDG_CONFIG_DIRS"] => /etc/xdg:/etc/xdg/gnome
_ENV["COLOUR_HIGH"] => \[\033[1;31m\]
_ENV["MINOR"] => 2
_ENV["XALARMFILEPATH"] => /mnt/home/hwloidl
_ENV["NLSPATH"] => /usr/share/locale/%l/%N
_ENV["DESKTOP_SESSION"] => 02GNOME
_ENV["BIBTEX_CSFILE"] => 88591lat.csf
_ENV["PATH"] => /home/hwloidl/bin/i386-unknown-linux:/home/hwloidl/bin:/var/local/jdk1.5.0/bin:/var/local/t:/usr/java/j2sdk1.4.1_01/bin:/mnt/home/hwloidl/ftp/MPlayer-1.0pre4:/mnt/home/hwloidl/bin/unknown-unknown-unknown:/mnt/home/hwloidl/bin:/usr/local/bin:/gnu/arch/bin:/dsg/local/bin::/bin:/usr/bin::/usr/local/bin:/local/unknown-unknown-unknown/bin:/local/com/bin:/local/com/graphics/bin::/bin:::/mnt/home/hwloidl/grasp/GrAn/bin:/usr/ccs/bin:/sbin:/usr/sbin:/usr/ucb:/usr/hosts:/usr/games:/var/local/gnu/bin:/mnt/home/hwloidl/private/HYW/bin:/mnt/home/hwloidl/gnu/bin:/mnt/home/hwloidl/tmp/gnu/bin:/opt/kde3/bin:/opt/gnome/bin:/mnt/home/hwloidl/Hume/BUILDS/bin:/mnt/home/hwloidl/DISTS/Isabelle/bin:/usr/share/pvm3/lib:/usr/share/pvm3:/usr/lib/openmpi/1.3.2-gcc/bin:/mnt/home/hwloidl/TEST//bin
_ENV["REAL_PROMPT"] => \[\033[1;33m\]-\[\033[0;30m\]-(\h\[\033[0;30m\][\!]\[\033[0;31m\](\v))-\[\033[1;33m\]-\[\033[0m\]
_ENV["MAIL"] => /usr/spool/mail/hwloidl
_ENV["LC_MESSAGES"] => en_GB.UTF-8
_ENV["COLOUR_MEDIUM"] => \[\033[1;33m\]
_ENV["_"] => /tmp/ftp/php-5.5.0alpha1/sapi/cli/php
_ENV["BPATH"] => /usr/local/crisp/crisp/macros;/crisp
_ENV["MUDWHOSERVER"] => riemann.math.okstate.edu
_ENV["LC_COLLATE"] => en_GB.UTF-8
_ENV["DOI0"] => /bin/SUN4
_ENV["LC_IDENTIFICATION"] => en_GB.UTF-8
_ENV["PWD"] => /tmp/ftp/php-5.5.0alpha1
_ENV["IRCSERVER"] => irc.uni-linz.ac.at
_ENV["XMODIFIERS"] => @im=none
_ENV["ftp"] => /net/dazdak/hwloidl/ftp
_ENV["MY_TEXINPUTS"] => .:/mnt/home/hwloidl/tex::.:/mnt/home/hwloidl/tex//:/mnt/home/hwloidl/tex/beamer//:/mnt/home/hwloidl/pgf//:/home/hwloidl/EmBounded/docs/sty:.:/mnt/home/hwloidl/tex:::
_ENV["newPWD"] => /tmp/ftp/php-5.5.0alpha1
_ENV["EDITOR"] => vi
_ENV["GNOME_KEYRING_PID"] => 3910
_ENV["CFTIME"] => %a %eth of %B %Y %T %Z (%W/%j)
_ENV["GHCROOT"] => /mnt/home/hwloidl/ghc-build/threads/ghc
_ENV["LANG"] => en_GB.UTF-8
_ENV["TEST_PHP_EXECUTABLE"] => /tmp/ftp/php-5.5.0alpha1/sapi/cli/php
_ENV["PYTHONSTARTUP"] => /etc/pythonrc.py
_ENV["pwdsize"] => 24
_ENV["TZ"] => GMT
_ENV["f"] => /mnt/home/hwloidl/bin/hw_os
_ENV["LC_MEASUREMENT"] => en_GB.UTF-8
_ENV["DCLIBS"] => -I/usr/local/d2c/lib
_ENV["MAJOR"] => 4
_ENV["MACHINE"] => laptop-14-230.macs.hw.ac.uk
_ENV["ONEHUNDRED"] => 135
_ENV["LL"] => 15
_ENV["DERIVEPATH"] => /mnt/home/hwloidl/share/derive
_ENV["PVM_HOST_FILE"] => /mnt/home/hwloidl/hwloidl-remus/etc/PVM/
_ENV["LINES"] => 24
_ENV["PYTHONDONTWRITEBYTECODE"] => 1
_ENV["SysMan"] => /local/fp/lib/ghc/0.26/sparc-sun-sunos4/SysMan
_ENV["GDMSESSION"] => 02GNOME
_ENV["dsg"] => /net/azdak/dsg
_ENV["MAILDROP"] => /usr/spool/mail/hwloidl
_ENV["MELMAC"] => melmac.risc.uni-linz.ac.at
_ENV["HISTCONTROL"] => ignoredups
_ENV["SSH_ASKPASS"] => /usr/lib64/ssh/ssh-askpass
_ENV["melmac"] => //hwloidl@melmac.risc.uni-linz.ac.at:
_ENV["MPI"] => /usr/lib/openmpi/1.3.2-gcc
_ENV["ONE"] => 1.35
_ENV["TEXINPUTS"] => .:/mnt/home/hwloidl/tex//:/mnt/home/hwloidl/tex/beamer//:/mnt/home/hwloidl/pgf//:/home/hwloidl/EmBounded/docs/sty:.:/mnt/home/hwloidl/tex::.:/mnt/home/hwloidl/tex//:/mnt/home/hwloidl/tex/beamer//:/mnt/home/hwloidl/pgf//:/home/hwloidl/EmBounded/docs/sty:.:/mnt/home/hwloidl/tex:::
_ENV["HOME"] => /mnt/home/hwloidl
_ENV["XDG_SEAT"] => seat0
_ENV["IRCNICK"] => HW
_ENV["SHLVL"] => 3
_ENV["HAMC_FLAGS"] => -I /home/hwloidl/Hume-hw-tinkering/humec/../BUILDS/bin/humec_lib /home/hwloidl/Hume-hw-tinkering/humec/../BUILDS/bin/humec_lib/rts.ar
_ENV["LESSCHARSET"] => utf-8
_ENV["LANGUAGE"] => en_GB.UTF-8:en_GB:en
_ENV["MY_MANPATH"] => :/usr/share/pvm3/man::/usr/share/pvm3/man:
_ENV["usernam"] => hwloidl
_ENV["FSP_PORT"] => 8765
_ENV["PVM_DPATH"] => /usr/share/pvm3/lib/pvmd
_ENV["fillsize"] => 0
_ENV["GNOME_DESKTOP_SESSION_ID"] => this-is-deprecated
_ENV["DOI"] => /usr/share/pvm3/bin/SUN4
_ENV["GCONF_TMPDIR"] => /tmp
_ENV["violet"] => //hwloidl@violet.risc.uni-linz.ac.at:
_ENV["MPIHOME"] => /mnt/home/hwloidl/TEST/
_ENV["whitby"] => //dcs8hwl@whitby.dur.ac.uk:
_ENV["SHADE"] => /local/fp/spat/shade.v8
_ENV["builds"] => /net/dazdak/BUILDS
_ENV["TMP"] => /tmp
_ENV["G_FILENAME_ENCODING"] => @locale
_ENV["LESS"] => -MM
_ENV["TGIFPATH"] => /usr/local/lib/tgif
_ENV["BHELP"] => /usr/local/crisp/crisp/help
_ENV["LOGNAME"] => hwloidl
_ENV["MEDIUM_LOAD"] => 50
_ENV["VISUAL"] => vi
_ENV["PRINTER"] => cps1g59
_ENV["PREFIX"] => /usr/local
_ENV["CVS_RSH"] => ssh
_ENV["SSH_CONNECTION"] => deleted
_ENV["LC_CTYPE"] => en_GB.UTF-8
_ENV["DBUS_SESSION_BUS_ADDRESS"] => unix:abstract=/tmp/dbus-mjbgDDEMsy,guid=2d0a122333e8f1d0d84b3415000000ab
_ENV["PE"] => =local=grasp_tmp2=hwloidl=ghc-BUILDS=LOLITA-par-BUILD=parallel=haskell=tomita=test.exec
_ENV["CLASSPATH"] => /var/www/html/mrg/pcc/consumer/heaps::/mnt/home/hwloidl/share/java:/mnt/home/hwloidl/public_html/classes:.
_ENV["BPACKAGES"] => m,c,h,asm,occ,mod,d
_ENV["usersize"] => 7
_ENV["LESSOPEN"] => |/usr/bin/lesspipe.sh %s
_ENV["ALTAIR"] => altair.dur.ac.uk
_ENV["STATUS_LINE"] => \[\033]0;\u@\h:\w\007\]\[\033[1;33m\]-\[\033[0;30m\]-(\[\033[1;31m\]$(date +%H:%M)\[\033[0;30m\] \[\033[1;31m\]$(date "+%a,%d %b %y")\[\033[0;30m\])-\[\033[1;33m\]-${fill}\[\033[0;30m\]-(\[\033[0;31m\]${newPWD}\[\033[0;30m\])-\[\033[1;33m\]-
_ENV["sparc"] => /net/dazdak/BUILDS/gransim-4.00/sparc-sun-solaris
_ENV["MUDWHOPORT"] => 6889
_ENV["time_str"] => 19:42
_ENV["saclib"] => /mnt/home/hwloidl/saclib
_ENV["ARCH"] => x86_64
_ENV["BROWSER"] => /usr/bin/www-browser
_ENV["PROMPT_COMMAND"] => prompt_command
_ENV["RISC"] => risc.uni-linz.ac.at
_ENV["SPB"] => springbank.dcs.st-and.ac.uk
_ENV["WINDOWPATH"] => 3
_ENV["XDG_RUNTIME_DIR"] => /run/user/hwloidl
_ENV["DISPLAY"] => :0
_ENV["META_CLASS"] => desktop
_ENV["CC"] => cc
_ENV["rts4"] => /net/dazdak/gransim-4.00/fptools/ghc/rts
_ENV["LOAD_COLOUR"] => \[\033[1;31m\]
_ENV["FN"] => -adobe-courier-bold-r-*-*-18-*-*-*-*-*-iso8859-1
_ENV["LC_TIME"] => en_GB.UTF-8
_ENV["FSP_LOCALPORT"] => 4334
_ENV["XAUTHORITY"] => /var/run/gdm/auth-for-hwloidl-AEMe0S/database
_ENV["LC_NAME"] => en_GB.UTF-8
_ENV["COLORTERM"] => gnome-terminal
_ENV["COLOUR_LOW"] => \[\033[1;34m\]
_ENV["show_prompt"] => () { echo "${COLOUR_LOW}0-${MEDIUM_LOAD}-${COLOUR_MEDIUM}-${HIGH_LOAD}-${COLOUR_HIGH}-inf${NO_COLOUR}\n"
}
_ENV["prompt_command"] => () { local BLACK="\[\033[0;30m\]";
local RED="\[\033[0;31m\]";
local GREEN="\[\033[0;32m\]";
local BROWN="\[\033[0;33m\]";
local BLUE="\[\033[0;34m\]";
local PURPLE="\[\033[0;35m\]";
local CYAN="\[\033[0;36m\]";
local LIGHT_GRAY="\[\033[0;37m\]";
local DARK_GRAY="\[\033[1;30m\]";
local LIGHT_RED="\[\033[1;31m\]";
local LIGHT_GREEN="\[\033[1;32m\]";
local YELLOW="\[\033[1;33m\]";
local LIGHT_BLUE="\[\033[1;34m\]";
local LIGHT_PURPLE="\[\033[1;35m\]";
local LIGHT_CYAN="\[\033[1;36m\]";
local WHITE="\[\033[1;37m\]";
local NO_COLOUR="\[\033[0m\]";
TERMWIDTH=${COLUMNS};
MAJOR="`echo $BASH_VERSION | sed -e 's/^\([^.]*\)\.\([^.]*\).*$/\1/'`";
MINOR="`echo $BASH_VERSION | sed -e 's/^\([^.]*\)\.\([^.]*\).*$/\2/'`";
MINOR="`echo $MINOR | sed -e 's/[a-z]*$//'`";
hostnam=$(echo -n $HOSTNAME | sed -e "s/[\.].*//");
usernam=$(whoami);
let usersize=$(echo -n $usernam | wc -c | tr -d " ");
newPWD="${PWD}";
let pwdsize=$(echo -n ${newPWD} | wc -c | tr -d " ");
time_str=$(date +%H:%M);
date_str=$(date "+%a,%d %b %y");
let promptsize=$(echo -n "--(${time_str}) \$(${date_str})(${PWD})--" | wc -c | tr -d " ");
let fillsize=${TERMWIDTH}-${promptsize};
fill="";
while [ "$fillsize" -gt "0" ]; do
fill="${fill}-";
let fillsize=${fillsize}-1;
done;
if [ "$fillsize" -lt "0" ]; then
let cut=3-${fillsize};
sedvar="";
while [ "$cut" -gt "0" ]; do
sedvar="${sedvar}.";
let cut=${cut}-1;
done;
newPWD="...$(echo -n $PWD | sed -e "s/\(^${sedvar}\)\(.*\)/\2/")";
fi;
ONE=$(uptime | sed -e "s/.*load average: \(.*\...\), \(.*\...\), \(.*\...\)/\1/" -e "s/ //g");
ONEHUNDRED=$(echo -e "scale=0 \n $ONE/0.01 \nquit \n" | bc);
if [ $ONEHUNDRED -gt $MEDIUM_LOAD ]; then
if [ $ONEHUNDRED -gt $HIGH_LOAD ]; then
LOAD_COLOUR=$COLOUR_HIGH;
else
LOAD_COLOUR=$COLOUR_MEDIUM;
fi;
else
LOAD_COLOUR=$COLOUR_LOW;
fi;
STATUS_LINE="$TITLEBAR$YELLOW-$BLACK-(${LOAD_COLOUR}\$(date +%H:%M)$BLACK ${LOAD_COLOUR}\$(date \"+%a,%d %b %y\")${BLACK})-${YELLOW}-\${fill}${BLACK}-($RED\${newPWD}$BLACK)-$YELLOW-";
case $TERM in
xterm*)
TITLEBAR='\[\033]0;\u@\h:\w\007\]'
;;
*)
TITLEBAR=""
;;
esac;
if [ $MAJOR -ge 2 ]; then
BASH_COLOUR=$COLOUR_NEW;
REAL_PROMPT="$YELLOW-$BLACK-(${BASH_COLOUR}\h${BLACK}[\!]$RED(\v))-$YELLOW-$NO_COLOUR ";
fi;
if [ \( $MAJOR -eq 1 \) -a \( $MINOR -eq 14 \) ]; then
BASH_COLOUR=$COLOUR_OLD;
REAL_PROMPT="$YELLOW-$BLACK-(${BASH_COLOUR}\h[\!])-$YELLOW-$NO_COLOUR ";
fi;
case $TERM in
xterm*)
TITLEBAR='\[\033]0;\u@\h:\w\007\]'
;;
*)
TITLEBAR=""
;;
esac;
PS1="$STATUS_LINE\n$REAL_PROMPT";
PS2="$BLACK-$YELLOW-$YELLOW-$NO_COLOUR "
}
_ENV["fallback"] => () { export PATH=/bin:/usr/bin:/usr/local/bin:/usr/bin/X11:/usr/X11R6/bin:/var/local/gnu/bin:/home/hwloidl/bin:/home/hwloidl/bin/i386-unknown-linux:/home/hwloidl/DISTS/Isabelle/bin;
export LD_LIBRARY_PATH=/var/local/gnu/lib:/home/hwloidl/lib:/usr/java/j2sdk1.4.1_01/lib:/lib:/usr/lib:/usr/local/lib:/usr/X11R6/lib:/home/hwloidl/DISTS/Isabelle/lib
}
_ENV["plain_prompt"] => () { PS1="\h[\!](\v)> "
}
_ENV["fancy_prompt"] => () { PROMPT_COMMAND=prompt_command;
export PROMPT_COMMAND MAJOR MINOR
}
_ENV["termwide_prompt"] => () { local BLACK="\[\033[0;30m\]";
local RED="\[\033[0;31m\]";
local GREEN="\[\033[0;32m\]";
local BROWN="\[\033[0;33m\]";
local BLUE="\[\033[0;34m\]";
local PURPLE="\[\033[0;35m\]";
local CYAN="\[\033[0;36m\]";
local LIGHT_GRAY="\[\033[0;37m\]";
local DARK_GRAY="\[\033[1;30m\]";
local LIGHT_RED="\[\033[1;31m\]";
local LIGHT_GREEN="\[\033[1;32m\]";
local YELLOW="\[\033[1;33m\]";
local LIGHT_BLUE="\[\033[1;34m\]";
local LIGHT_PURPLE="\[\033[1;35m\]";
local LIGHT_CYAN="\[\033[1;36m\]";
local WHITE="\[\033[1;37m\]";
local NO_COLOUR="\[\033[0m\]";
case $TERM in
xterm*)
TITLEBAR='\[\033]0;\u@\h:\w\007\]'
;;
*)
TITLEBAR=""
;;
esac;
PS1="$TITLEBAR$YELLOW-$LIGHT_BLUE-($RED\$(date +%H:%M)$LIGHT_BLUE $RED\$(date \"+%a,%d %b %y\")${LIGHT_BLUE})-${YELLOW}-\${fill}${LIGHT_BLUE}-($RED\${newPWD}$LIGHT_BLUE)-$YELLOW-\n$YELLOW-$LIGHT_BLUE-($RED\${usernam}$LIGHT_BLUE@$RED\${hostnam}$LIGHT_BLUE:$WHITE\$$LIGHT_BLUE)-$YELLOW-$NO_COLOUR ";
PS2="$LIGHT_BLUE-$YELLOW-$YELLOW-$NO_COLOUR "
}
_ENV["rand_pic"] => () { perl -e 'opendir(F,"."); @s=readdir(F); while (1) { $i=(int(rand(400))+6) ; system("display $s[$i]") }; closedir(F)'
}
PHP License
This program is free software; you can redistribute it and/or modify
it under the terms of the PHP License as published by the PHP Group
and included in the distribution in the file: LICENSE
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
If you did not receive a copy of the PHP license, or have any
questions about PHP licensing, please contact license@php.net.
Build environment
OS: Linux - Linux laptop-14-230.macs.hw.ac.uk 3.3.6-desktop-2.mga2 #1 SMP Thu May 17 16:25:59 UTC 2012 x86_64 Autoconf: autoconf (GNU Autoconf) 2.68 Copyright (C) 2010 Free Software Foundation, Inc. License GPLv3+/Autoconf: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>, <http://gnu.org/licenses/exceptions.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Written by David J. MacKenzie and Akim Demaille. Bundled Libtool: ltmain.sh (GNU libtool) 1.5.26 (1.1220.2.492 2008/01/30 06:40:56) Copyright (C) 2008 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. System Libtool: ltmain.sh (GNU libtool) 1.5.26 (1.1220.2.492 2008/01/30 06:40:56) Copyright (C) 2008 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Compiler: Using built-in specs. COLLECT_GCC=cc COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-mageia-linux-gnu/4.6.3/lto-wrapper Target: x86_64-mageia-linux-gnu Configured with: ../configure --prefix=/usr --libexecdir=/usr/lib --with-slibdir=/lib64 --with-bugurl=http://bugs.mageia.org/ --mandir=/usr/share/man --infodir=/usr/share/info --enable-checking=release --enable-languages=c,c++,ada,fortran,objc,obj-c++,java --enable-linker-build-id --build=x86_64-mageia-linux-gnu --host=x86_64-mageia-linux-gnu --with-cpu=generic --with-system-zlib --enable-threads=posix --enable-shared --enable-objc-gc --enable-long-long --enable-__cxa_atexit --disable-libunwind-exceptions --enable-clocale=gnu --enable-java-awt=gtk --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-1.5.0.0/jre --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-gtk-cairo --disable-libjava-multilib --enable-ssp --disable-libssp --disable-werror --with-ppl --with-cloog --with-python-dir=/lib/python2.7/site-packages --enable-lto Thread model: posix gcc version 4.6.3 (GCC) Bison: Libraries: linux-vdso.so.1 => (0x00007fff0194a000) libcrypt.so.1 => /lib64/libcrypt.so.1 (0x00007f6405436000) libresolv.so.2 => /lib64/libresolv.so.2 (0x00007f640521e000) librt.so.1 => /lib64/librt.so.1 (0x00007f6405016000) libm.so.6 => /lib64/libm.so.6 (0x00007f6404d94000) libdl.so.2 => /lib64/libdl.so.2 (0x00007f6404b90000) libnsl.so.1 => /lib64/libnsl.so.1 (0x00007f6404978000) libxml2.so.2 => /usr/lib64/libxml2.so.2 (0x00007f640461b000) libz.so.1 => /lib64/libz.so.1 (0x00007f6404404000) libc.so.6 => /lib64/libc.so.6 (0x00007f6404078000) libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f6403e5c000) /lib64/ld-linux-x86-64.so.2 (0x00007f6405684000) liblzma.so.5 => /lib64/liblzma.so.5 (0x00007f6403c2d000) User's E-mail: *** (truncated on purpose) ***