jvhaarst

[DEFAULT]
login = [YOUR LOGIN]
password = [YOUR PASSWORD]
START_URL = https://slimmemeterportal.nl/login
LOGIN_URL = https://slimmemeterportal.nl/user_session
DOWNLOAD = [LOCATION TO STORE THE FILES]

jvhaarst

jvhaarst

jvhaarst

import os
import sys
import gzip

filetype="txt"

for line in sys.stdin:
    # {movieName}/{holeNumber}/{qStart}_{qEnd} according to https://pacbiofileformats.readthedocs.io/en/3.0/BAM.html
    (movieName,holeNumber,subread)=(line.split()[0].split('/'))
    directory = movieName+'/'+holeNumber[:3]

jvhaarst

jvhaarst

jvhaarst

#!/usr/local/bin/bash
# Error handling
set -o nounset
set -o errexit
set -o pipefail

# BASH 4 script to convert m4a files into mp3 files
# Needed programs : faad and lame
OIFS="$IFS"
IFS=$'\n'

jvhaarst

#!/usr/bin/env python3
# Simple script to print:
# Size of a directory tree
# Number of files in that tree
# Number of hard links in that tree
# Number of softlinks in that tree

import os
import sys
import datetime

jvhaarst

#!/bin/bash
# Script to create bash aliases for hostnames in ssh config and known_hosts files
# Original fom http://samrowe.com/wordpress/2008/07/29/bash-ssh-happiness/
# Updated by ja@vanhaarst.net
# Example usage:
# ALIAS_TEMP=$(mktemp);bash ssh_alias.sh | sort -r > $ALIAS_TEMP;source $ALIAS_TEMP;rm $ALIAS_TEMP;alias

set -o errexit  # Exit on error
set -o nounset  # Exit on use of unset variable
#set -o verbose  # Prints shell input lines as they are read.

jvhaarst

#!/bin/bash
# Gist mirror script
# Jan van Haarst jan@vanhaarst.net
# 20150115

# Debug
#set -o xtrace
#set -o verbose

# Stop on error