# HG changeset patch # User samer # Date 1421602405 0 # Node ID 3255717f4e6bf2de1d7734c4ea285829f9c113a9 # Parent bf335422929707926d8f73343937bc1bbf87accd Added home dot-files. diff -r bf3354229297 -r 3255717f4e6b .bash_aliases --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.bash_aliases Sun Jan 18 17:33:25 2015 +0000 @@ -0,0 +1,16 @@ +alias ltr='ls -ltr' + +alias rm='rm -i' +alias mv='mv -i' +alias crontab='icrontab' + +alias cd..='cd ..' +alias hexdump="hexdump -C" +alias df='df -h' +alias du='du -h' +alias matlab='matlab -nosplash -nodesktop -noawt' +alias top='top -o %CPU' + +alias suspend='kill -SIGSTOP' +alias resume='kill -SIGCONT' +alias curl-rdf='curl -H "Accept: application/rdf+xml"' diff -r bf3354229297 -r 3255717f4e6b .bash_logout --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.bash_logout Sun Jan 18 17:33:25 2015 +0000 @@ -0,0 +1,7 @@ +# ~/.bash_logout: executed by bash(1) when login shell exits. + +# when leaving the console clear the screen to increase privacy + +if [ "$SHLVL" = 1 ]; then + [ -x /usr/bin/clear_console ] && /usr/bin/clear_console -q +fi diff -r bf3354229297 -r 3255717f4e6b .bashrc --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.bashrc Sun Jan 18 17:33:25 2015 +0000 @@ -0,0 +1,119 @@ +# ~/.bashrc: executed by bash(1) for non-login shells. +# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc) +# for examples + +# If not running interactively, don't do anything +case $- in + *i*) ;; + *) return;; +esac + +# don't put duplicate lines or lines starting with space in the history. +# See bash(1) for more options +HISTCONTROL=ignoreboth + +# append to the history file, don't overwrite it +shopt -s histappend + +# for setting history length see HISTSIZE and HISTFILESIZE in bash(1) +HISTIGNORE="?:ls:bg:fg:cd" +HISTSIZE=10000 +HISTFILESIZE=10000 + +# check the window size after each command and, if necessary, +# update the values of LINES and COLUMNS. +shopt -s checkwinsize + +# If set, the pattern "**" used in a pathname expansion context will +# match all files and zero or more directories and subdirectories. +#shopt -s globstar + +# make less more friendly for non-text input files, see lesspipe(1) +[ -x /usr/bin/lesspipe ] && eval "$(SHELL=/bin/sh lesspipe)" + +# set variable identifying the chroot you work in (used in the prompt below) +if [ -z "${debian_chroot:-}" ] && [ -r /etc/debian_chroot ]; then + debian_chroot=$(cat /etc/debian_chroot) +fi + +# set a fancy prompt (non-color, unless we know we "want" color) +case "$TERM" in + xterm-color) color_prompt=yes;; +esac +color_prompt=yes + +# uncomment for a colored prompt, if the terminal has the capability; turned +# off by default to not distract the user: the focus in a terminal window +# should be on the output of commands, not on the prompt +#force_color_prompt=yes + +if [ -n "$force_color_prompt" ]; then + if [ -x /usr/bin/tput ] && tput setaf 1 >&/dev/null; then + # We have color support; assume it's compliant with Ecma-48 + # (ISO/IEC-6429). (Lack of such support is extremely rare, and such + # a case would tend to support setf rather than setaf.) + color_prompt=yes + else + color_prompt= + fi +fi + +#if [ "$color_prompt" = yes ]; then +# PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ ' +#else +# PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ ' +#fi +PS1='\[\e[1m\]\t \u@\h:\w$\[\e[0m\] ' +unset color_prompt force_color_prompt + +# If this is an xterm set the title to user@host:dir +case "$TERM" in +xterm*|rxvt*|screen) + PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1" + ;; +*) + ;; +esac + +# enable color support of ls and also add handy aliases +if [ -x /usr/bin/dircolors ]; then + test -r ~/.dircolors && eval "$(dircolors -b ~/.dircolors)" || eval "$(dircolors -b)" + alias ls='ls --color=auto' + #alias dir='dir --color=auto' + #alias vdir='vdir --color=auto' + + alias grep='grep --color=auto' + alias fgrep='fgrep --color=auto' + alias egrep='egrep --color=auto' +fi + +# some more ls aliases +alias ll='ls -alF' +alias la='ls -A' +alias l='ls -CF' + +# Add an "alert" alias for long running commands. Use like so: +# sleep 10; alert +alias alert='notify-send --urgency=low -i "$([ $? = 0 ] && echo terminal || echo error)" "$(history|tail -n1|sed -e '\''s/^\s*[0-9]\+\s*//;s/[;&|]\s*alert$//'\'')"' + +# Alias definitions. +# You may want to put all your additions into a separate file like +# ~/.bash_aliases, instead of adding them here directly. +# See /usr/share/doc/bash-doc/examples in the bash-doc package. + +if [ -f ~/.bash_aliases ]; then + . ~/.bash_aliases +fi + +# enable programmable completion features (you don't need to enable +# this, if it's already enabled in /etc/bash.bashrc and /etc/profile +# sources /etc/bash.bashrc). +if ! shopt -oq posix; then + if [ -f /usr/share/bash-completion/bash_completion ]; then + . /usr/share/bash-completion/bash_completion + elif [ -f /etc/bash_completion ]; then + . /etc/bash_completion + fi +fi + + diff -r bf3354229297 -r 3255717f4e6b .boot --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.boot Sun Jan 18 17:33:25 2015 +0000 @@ -0,0 +1,8 @@ +#/bin/sh +echo "Running user boot script as user $(whoami) in $HOME" +echo "Path is: $PATH" +cd $HOME +startx 1>/dev/null 2> ~/var/log/startx.log & +TERM=xterm-color DISPLAY=:0.0 screen -U -d -m -h 5000 +echo "Exiting user boot script for $(whoami)" + diff -r bf3354229297 -r 3255717f4e6b .inputrc --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.inputrc Sun Jan 18 17:33:25 2015 +0000 @@ -0,0 +1,10 @@ +set show-all-if-ambiguous on +set meta-flag on +set convert-meta off +set input-meta on +set output-meta on +set mark-symlinked-directories on + +TAB: complete +"\e[A": history-search-backward +"\e[B": history-search-forward diff -r bf3354229297 -r 3255717f4e6b .odbc.ini --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.odbc.ini Sun Jan 18 17:33:25 2015 +0000 @@ -0,0 +1,6 @@ +[beets] +Description = beets music database +Driver = SQLite3 +Database = /home/dml/lib/beets/music.db +Timeout=5000 + diff -r bf3354229297 -r 3255717f4e6b .plrc --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.plrc Sun Jan 18 17:33:25 2015 +0000 @@ -0,0 +1,64 @@ +:- op(200,fy,@). + +persistent_history(H) :- + prolog_history(disable), + (exists_file(H) -> rl_read_history(H); true), + current_prolog_flag(argv,ARGV), + get_time(Now), + format_time(string(Time),'%+',Now), + format(atom(Header),'% Start: ~w - argv=~w.\n',[Time,ARGV]), + rl_add_history(Header), + at_halt(rl_write_history(H)). + +colour_terminal :- + stream_property(user_output, tty(true)), + getenv('TERM',Term), + member(Term,[xterm,screen,'screen-256color','xterm-256color','xterm-color']). + +:- dynamic http_proxy/3. + +get_http_proxy(Host,Port,basic(User,Pwd)) :- + getenv(use_proxy,yes), + getenv(http_proxy,Proxy), + % proxy looks like http://User:Password@Host:Port + atom_concat('http://',Proxy1,Proxy), % strip off protocol + split_atom(Proxy1,Auth,'@',HostPort), + split_atom(Auth,User,':',Pwd), + split_atom(HostPort,Host,':',APort), + atom_number(APort,Port). + +split_atom(Atom,Pre,Mid,Post) :- + sub_atom(Atom,LPre,_,LPost,Mid), + sub_atom(Atom,0,LPre,_,Pre), + sub_atom(Atom,_,LPost,0,Post). + +internal_host(localhost). +internal_host(Host) :- sub_atom(Host,_,_,0,'bl.uk'). + +:- multifile http:open_options/2. +http:open_options(Parts,[proxy(Host,Port),proxy_authorization(Auth)|Opts]) :- + http_proxy(Host,Port,Auth), + option(host(Target),Parts), + \+internal_host(Target), + debug(proxy,'Using HTTP proxy ~w:~w for ~w',[Host,Port,Target]), + debug(proxy,'Parts: ~w',[Parts]), + ( option(scheme(https),Parts) + -> debug(proxy,'Using HTTPS',[]), + Opts=[cert_verify_hook(verify_certificate)] + ; Opts=[] + ). + +verify_certificate(_,_,_,_,_) :- format(user_error,'Accepting certificate\n',[]). + +:- %persistent_history('.swipl_history'), + (colour_terminal -> load_files(library(ansi_term), [silent(true)]); true), + set_prolog_flag(prompt_alternatives_on, determinism), + set_prolog_flag(editor, '$EDITOR'), + load_files(library(url), [silent(true)]), + load_files(library(http/http_ssl_plugin), [silent(true)]), + ( get_http_proxy(Host,Port,Auth) + -> assert(http_proxy(Host,Port,Auth)) + ; true + ). + + diff -r bf3354229297 -r 3255717f4e6b .profile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.profile Sun Jan 18 17:33:25 2015 +0000 @@ -0,0 +1,36 @@ +# ~/.profile: executed by the command interpreter for login shells. +# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login +# exists. +# see /usr/share/doc/bash/examples/startup-files for examples. +# the files are located in the bash-doc package. + +# the default umask is set in /etc/profile; for setting the umask +# for ssh logins, install and configure the libpam-umask package. +#umask 022 + +# if running bash +if [ -n "$BASH_VERSION" ]; then + # include .bashrc if it exists + if [ -f "$HOME/.bashrc" ]; then + . "$HOME/.bashrc" + fi +fi + +export EDITOR=vi +export LANG='en_GB.UTF-8' + +HUMDRUM_ROOT=~/src/github/humdrum-tools +export MATLAB_JAVA=/usr/lib/jvm/default-java/jre +export PATH=$PATH:$HUMDRUM_ROOT/humdrum/bin:$HUMDRUM_ROOT/humextra/bin +export MANPATH=$MANPATH:~/lib/humdrum/man +export HUMDRUM=$HUMDRUM_ROOT/humdrum +#TMPDIR=/tmp + +# set PATH so it includes user's private bin if it exists +if [ -d "$HOME/bin" ] ; then + PATH="$HOME/bin:$PATH" +fi + +# export use_proxy=yes +# export http_proxy=http://DMLUser:Mus1c0l0gy\@loncache.bl.uk:8080 + diff -r bf3354229297 -r 3255717f4e6b .screenrc --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.screenrc Sun Jan 18 17:33:25 2015 +0000 @@ -0,0 +1,26 @@ +termcapinfo xterm 'hs:ts=\E]2;:fs=\007:ds=\E]2;screen\007' +termcapinfo xterm-color 'hs:ts=\E]2;:fs=\007:ds=\E]2;screen\007' +termcapinfo xterm-256color 'hs:ts=\E]2;:fs=\007:ds=\E]2;screen\007' +termcapinfo xterm*|xterms|xs|rxvt ti@:te@ +msgwait 1 +chdir +shell -bash + +hardstatus off +defscrollback 16000 + +# Yet another hack: +# Prepend/append register [/] to the paste if ^a^] is pressed. +# This lets me have autoindent mode in vi. +register [ "\033:se noai\015a" +register ] "\033:se ai\015a" +bind ^] paste [.] + +bind = resize = +bind + resize +2 +bind - resize -2 +bind _ resize max + +screen -t dml-edit 1 runin $HOME/var/dml bash +screen -t dml-run 0 forever $HOME/var/dml ./run.pl + diff -r bf3354229297 -r 3255717f4e6b etc/.setup_as_root.sh.swp Binary file etc/.setup_as_root.sh.swp has changed