http://linuxfr.org/users/philippemc/journaux/microlabel-alternative-tentacles-a-toi-tout-seul
VirtualTam's bookmarks
-
2014-04-23 -
2014-04-23 -
2014-04-10 Someday, all software will be built this way.
-
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 -
2014-04-03 Collaborative, web-hosted TeX editor
-
2014-03-30 -
2014-03-27 -
2014-03-27 Solve challenging math/computer problems!
-
2014-03-27 -
2014-03-26 -
2014-01-22 -
2014-01-09 -
2013-10-21