VirtualTam's bookmarks
129 bookmarks found
-
ArchWiki | Convert FLAC to mp3
2014-05-26 -
Antigen | A plugin manager for zsh
2014-05-15 -
Terminal with zsh and a neat display of git info!
-
Git - Tips and Tricks
2014-05-15 Bash completion & custom aliases
-
Terra Terminal
2014-04-26 Drop-down, split-view terminal
-
Bash: test if a file needs to be downloaded
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!
-
wh15g33k | Luc Damas
2013-05-06
