VirtualTam's bookmarks

  1. Bash: test if a file needs to be downloaded
    2014-04-09
    curl development download file programming/shell programming/shell/bash programming/testing web wget
    Permalink 
     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
  2. EarSketch trick - changing the installation directory
    2013-08-22
    development digital digital-audio-workstation earsketch programming/python reaper
    Permalink

    Change install dir:

    • get the EarSketch installer,
    • launch it, install Reaper and EarSketch to the default location => C:\Program Files{EarSketch, REAPER (x64)},
    • install the other softs (Python 2.7 and its extensions, Kommodo) where they belong,
    • move the REAPER (x64) folder to a new location,
    • edit the registry value [HKEY\LOCAL MACHINE\SOFTWARE\REAPER] to reflect this new location,
    • edit the Actions menu file to reflect the new Plugins folder locations [%appdata%\REAPER\reaper-kb.ini],
    • (restart Reaper),
    • clean the cache.