Script to install the files_for_home

Add a script and some documentation for it which allows users to
install the .bashrc and .profile in the files_for_home folder
automatically.

Author: mfherbst

README

@@ -16,3 +16,12 @@ before you can do the Project Gutenberg-related exercises.
 Run the script in the resources/gutenberg/ directory, i.e.
 	cd resources/gutenberg/
 	./download.sh
+
+If you want a more fancy .bashrc configuration, e.g. a coloured
+output of grep or a colored command prompt, run the install.sh
+script from the files_for_home directory.
+	cd files_for_home
+	./install.sh
+
+Note that this will replace your current .bashrc and your
+current .profile in case these files exist.

files_for_home/.bashrc

@@ -1,5 +1,13 @@
 # ~/.bashrc: executed by bash(1) for non-login shells.
 
+###################################
+# Settings for this .bashrc
+
+# change the following to 1 if the return code shall show up.
+SHOW_RETURN_CODE=0
+
+###################################
+
 is_interactive_shell() {
         case $- in  
                 *i*) return 0;; 
@@ -10,6 +18,10 @@ is_interactive_shell() {
 # If not running interactively, don't do anything
 is_interactive_shell || return 0
 
+###################################
+# history settings:
+
+
 # Ignore duplicate lines and space lines: 
 export HISTCONTROL=ignoreboth 
 
@@ -19,10 +31,48 @@ shopt -s histappend
 # for setting history length see HISTSIZE and HISTFILESIZE in bash(1) 
 export HISTSIZE=2000 
 
+###################################
+# other shell options:
+
 # check the window size after each command and, if necessary, 
 # update the values of LINES and COLUMNS. 
 shopt -s checkwinsize 
 
+# Set vi editing mode:
+set -o vi
+
+###################################
+# colour for the shell
+
+# Use color if terminal has the capability
+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.)
+
+	UCOL="\[\033[0;00m\]"       # color for user
+	HCOL="\[\033[0;33m\]"       # color for host
+	PCOL="\[\033[1;34m\]"       # color for dir
+	DEFC="\[\033[0;00m\]"       # default color
+	PS1="${debian_chroot:+($debian_chroot)}$UCOL\u$DEFC@$HCOL\h$DEFC:$PCOL\w$DEFC\$ "
+
+	unset UCOL HCOL PCOL DEFC
+else
+	PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '
+fi
+
+# If this is an xterm set the title to user@host:dir
+case "$TERM" in
+	xterm*|rxvt*)
+		PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
+		;;
+	*)
+		;;
+esac
+
+###################################
+# colour for other programs:
+
 # Enable color support of ls
 if [ -x /usr/bin/dircolors ]; then
     eval "`dircolors -b`"
@@ -40,13 +90,27 @@ export LS_OPTIONS='--color=auto'
 alias ls='ls -vF $LS_OPTIONS'
 alias ll='ls -al'
 
-alias cd..='cd ..'
-alias ..='cd ..'
+unset GREP_OPTIONS
 
+###################################
+# misc
+
+# change the prompt if the user wishes
+if [ "$BASH" == "/bin/bash" -a "$SHOW_RETURN_CODE" == "1"  ]; then
+	promt_extra() {
+		local RET=$?
+		if [ "$RET" != "0" ]; then
+			echo -e "rc: \033[0;32m$RET\033[0;00m"
+		fi
+	}
+	export PROMPT_COMMAND='promt_extra'
+fi
+
+# Enable bash completion:
 if [ -f /etc/bash_completion ]; then
 	. /etc/bash_completion
 fi
 
-if [ -f "$HOME/return_code_prompt" ]; then
-	. "$HOME/return_code_prompt"
-fi
+###################################
+# cleanup
+unset SHOW_RETURN_CODE

files_for_home/.profile

@@ -0,0 +1,7 @@
+# if running bash
+if [ -n "$BASH_VERSION" ]; then
+    # include .bashrc if it exists
+    if [ -f "$HOME/.bashrc" ]; then
+	. "$HOME/.bashrc"
+    fi
+fi

files_for_home/README

@@ -1,10 +1,6 @@
 These files are recommended settings for the course.
-You should copy them to your home directory using
+You should copy them to your home directory by running
+	./install.sh
 
-cp .bashrc ~
-
--------------------------------------------------------
-
-If you want return codes to show up in your terminal, 
-also copy the file 
-	cp return_code_prompt ~
+in case you created a .bashrc or .profile file, they
+will be moved to .bashrc.old and .profile.old

files_for_home/install.sh

@@ -0,0 +1,19 @@
+#!/bin/bash
+
+# install new files
+for file in .bashrc .profile; do
+	if [ ! -f "$file" ]; then
+		echo "Please run script directly from the directory using ./$(basename "$0")." >&2
+		exit 1
+	fi
+
+	# the target file:
+	TFILE="$HOME/$file"
+
+	# if target file exists move it to .old:
+	[ -f "$TFILE" ] && mv "$TFILE" "$TFILE.old"
+
+	# copy new file:
+	cp "$file" "$TFILE"
+done
+