MaxChinni

#!/usr/bin/env bash

# gsettings list-recursively org.gnome.system.proxy

# Change de ip address and port number accordingly.
function myProxyOn() {
    gsettings set org.gnome.system.proxy mode 'manual' # ' manual / nome / automatic '
    gsettings set org.gnome.system.proxy.http host '10.0.0.1'
    gsettings set org.gnome.system.proxy.http port 8080
    gsettings set org.gnome.system.proxy.https host '10.0.0.1'

MaxChinni

Keybase proof

I hereby claim:

• I am maxchinni on github.
• I am maxchinni (https://keybase.io/maxchinni) on keybase.
• I have a public key ASC3mzLYpyR79n_jcImy18eJTL45icqPnx7CZedqJNXLhwo

To claim this, I am signing this object:

MaxChinni

#!/bin/bash

sudo apt-key adv --keyserver keyserver.ubuntu.com --recv "$1"

MaxChinni

#!/bin/bash

lock() {
    exec 200>/tmp/$(basename $0 .sh).lock
    flock -n 200 && return 0 || return 1
}

lock || exit -1

MaxChinni

#!/bin/bash

if [ $# -ne 1 ]; then
    echo "Usage:" >&2
    echo "  $(basename $0) <sec>" >&2
    exit 1
fi

function secToTime() {
    local s=$1