danielcarr

#! /usr/bin/env bash

# Put this in /etc/NetworkManager/dispatcher.d/
# to mount and unmount smb/cifs shares with the connection to the network

if test "${IP4_DOMAINS}" = "${COMPANY_DOMAIN}"; then
  if "${2}" = "up" -o "${2}" = "vpn-up"; then
    # mount the common directory as read only to avoid mistakes
    mount /mnt/sharedserver
    mount /mnt/home

danielcarr

#! /usr/bin/env python3

import os
import requests
from re import compile as compile_regex
from hashlib import md5 as checksum
from zipfile import ZipFile as zipfile
from html.parser import HTMLParser

# Class to extract the link to the download page of the most recent (non-beta) version

danielcarr

#! /usr/bin/env python3

import json
import os
import time
import re as regex
from zipfile import ZipFile as zipfile, is_zipfile as is_zipfile

import requests

danielcarr

# This file would be identical to .profile and isn't needed in addition, it just makes the gist more findable
# .profile is called if bash will be invoked with the name `sh`, so it's more portable
# The same or a similar file might also be named .bashrc (for a non-login interactive shell invocation)
# See the section INVOCATION of `man bash` for the technical nuances of when to use which filename

danielcarr

export CLEAR=`printf '\033[0m'`

# EFFECTS / FORMATTING
export BOLD=`printf '\033[1m'`
export DIM=`printf '\033[2m'`
export UNDERLINE=`printf '\033[4m'`

# FOREGROUND
export BLACK=`printf '\033[30m'`
export RED=`printf '\033[31m'`

danielcarr

for config in "${HOME}"/.config.d/*.sh; do
    . "${config}"
done
unset -v config