in GITOLITE_USER/.gitolite.rc:
$ENV{PATH} = "/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games:$ENV{PATH}"
VirtualTam's bookmarks
-
2014-06-09 -
2014-05-26 -
2014-05-15 -
Terminal with zsh and a neat display of git info!
-
2014-05-15 Bash completion & custom aliases
-
2014-04-26 Drop-down, split-view terminal
-
2014-04-09 1#!/bin/bash 2# Check if a file needs to be downloaded 3# Useful iff there is no checksum available to check a local file 4url=http://test-url.com 5 6dl=1 7if [[ -f $file_path ]]; then 8 local_size=$(ls -l $file_path | awk '{print $5}') 9 remote_size=$(wget --spider $url 2>&1 | awk '/Length/ {print $2}') 10 11 if [[ $local_size -eq $remote_size ]]; then 12 echo "The file was previously downloaded" 13 dl=0 14 else 15 echo "Corrupted file found, re-downloading..." 16 rm -f $file_path 17 fi 18else 19 echo "Downloading file..." 20fi 21 22[[ $dl -eq 1 ]] && wget $url -O $file_path -
Enlarge your linux shell knowledge!
-
2013-05-06
