#!/bin/bash ##setxkbmap -types qwerty_accent -layout "us+level3(win_switch)+ctrl(nocaps)+qwerty_accent" . ~/.bashrc export PATH=$HOME/bin:/local/usr/R/R/lib64/R/bin:$PATH if [ -z $(which urxvt) ];then cmd="gnome-terminal --geometry=" dist=800 else cmd="urxvt -geometry " dist=700 fi export BROWSER=firefox ##emacs --no-site-file -g 80x80+0+0 & if [ -z $(which emacs22) ];then emacs=emacs else emacs=emacs22 fi $emacs --no-site-file -fh & ${cmd}+1200+0 -e htop --sort-key PERCENT_MEM & ${cmd}+700+0 -e htop & ${cmd}+830+330 -e bash & ${cmd}+830+${dist} -e bash & unset SSH_AUTH_SOCK if [ -z $(dnsdomainname|grep inria) ];then #at curie: gnome-session else #at inria: echo at inria #vlc personal/music/MTPMEDIA/Music/practice/& fi