Terminate a frozen SSH session

I work remotely via a VPN and am often plagued by frozen SSH sessions (especially if I step away from my desk for any length of time).  I always used to close the shell/terminal - which is a bit annoying.  Then I came across the solution below, just type enter (in the frozen shell) then tilde and period/full-stop and you drop out of the ssh session.

	[Enter]
	~.

view raw ssh_termination.txt hosted with ❤ by GitHub

Generating random numbers in bash

I wanted to assign each member of a training set to a cross-validation fold.  I wanted to do this in a bash script and so ended up using something like the following:

	#!/bin/bash -eu
	n=100
	m=5
	for i in $(seq 1 $n); do
	echo $(( (RANDOM % $m) + 1));
	done

view raw gistfile1.txt hosted with ❤ by GitHub

This script generates n numbers selected randomly in the series of integers from 1 to m.  In this case m represents the number of cross validation folds.


You could generate a random CV fold assignment like so:

	#!/bin/bash -eu
	CV_FOLDS=5
	while read mol_name label; do
	FOLD=$(( (RANDOM % $CV_FOLDS) + 1));
	echo -e "mol_name\tlabel\t$FOLD";
	done

view raw rand_cv_fold_assign.sh hosted with ❤ by GitHub

Depending on your input file format of course.