mauricioprado00

ssh -p33 -D8080 -q -C -N $1
/opt/google/chrome/chrome --profile-directory=Profile 3 --proxy-server=socks5://localhost:8080

mauricioprado00

# List ignored files
git ls-files . --ignored --exclude-standard --others

# List untracked files
git ls-files . --exclude-standard --others


# https://stackoverflow.com/questions/3538144/how-do-you-git-show-untracked-files-that-do-not-exist-in-gitignore

mauricioprado00

#!/usr/bin/env bash

if [[ -z "$1"  ||  -z "$2"  ]]; then
echo  usage: 
    echo "    git pushfull <remotename_orig> <remotename_dest>"
    
    exit 1
fi

git push "$2" refs/remotes/$1/*:refs/heads/*

mauricioprado00

#!/usr/bin/env bash

file=$1
time1=$2
time2=$3

echo "Two commands" 
time ffmpeg -v quiet -y -i ${file} -vcodec copy -acodec copy -ss 00:00:00 -t ${time1} -sn part_1_${file}
time ffmpeg -v quiet -y -i ${file} -vcodec copy -acodec copy -ss ${time1} -t ${time2} -sn part_2_${file}
# see https://stackoverflow.com/questions/5651654/ffmpeg-how-to-split-video-efficiently

mauricioprado00

# Step 1: Set priveleges

$ sudo /System/Library/CoreServices/RemoteManagement/ARDAgent.app/Contents/Resources/kickstart -configure -allowAccessFor -allUsers -privs -all

Starting...
Setting allow all users to YES.
Setting all users privileges to 1073742079.
Done.

# Step 2: Allow VNC clients

mauricioprado00

#!/usr/bin/env bash

# will return zero if mutex is successful, any other code for error
function mutex()
{
    #adapted from http://wiki.bash-hackers.org/howto/mutex
    
    local LOCKDIR=$1
    local PIDFILE="${LOCKDIR}/PID"
    

mauricioprado00

original_device=/dev/sdb
copy_device=/dev/nvme0n1

function get_partition_prefix
{
  local device="$1"
  ls ${device}*  | grep -v '^'${device}'$' | sort | head -n1 | sed 's#[0-9]$##g'
}

function get_password