VirtualTam's bookmarks

  1. Stylus:

    Case:

    Guides:

    System:

    Usage:

    Software:

    Articles:

  2.  1# first, clone the repository
     2git clone REPO REPO2
     3cd REPO2
     4# remove all unneeded files from this version
     5git filter-branch -f --prune-empty --index-filter "git rm --cached --ignore-unmatch FILES_AND_DIRS_TO_DELETE"
     6git gc --aggressive --prune=1day
     7git fsck --unreachable
     8# refresh the remote
     9git remote rm origin
    10git remote add origin ssh://HOST/REPO
    11# broforce push!
    12git push -f origin master
    13
    14# cleanup our original repository
    15cd REPO
    16git filter-branch -f --prune-empty --index-filter "git rm --cached --ignore-unmatch OTHER_FILES_AND_DIRS_TO_DELETE"
    17git gc --aggressive --prune=1day
    18git fsck --unreachable
    19# broforce push!
    20git push -f origin master
    
  3.  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