Skip to content

Instantly share code, notes, and snippets.

@ThomasRooney
Created February 26, 2014 16:31
Show Gist options
  • Select an option

  • Save ThomasRooney/9233098 to your computer and use it in GitHub Desktop.

Select an option

Save ThomasRooney/9233098 to your computer and use it in GitHub Desktop.

Revisions

  1. ThomasRooney created this gist Feb 26, 2014.
    14 changes: 14 additions & 0 deletions gistfile1.txt
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,14 @@
    impssh() {

    shellServerIndex=$((RANDOM%4+1))

    username="tr111"

    shellServer=shell$shellServerIndex.doc.ic.ac.uk

    if (( $# >= 1 )) ; then
    ssh -t $username@$shellServer "ssh $1"
    else
    ssh $username@$shellServer
    fi
    }