# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1484156416 28800
# Node ID 2d32115dc56cc946637c58cc99c046ff0680db96
# Parent  352530cbf195d1916021f583cc2644569f3a18a2
security...am i right?

diff -r 352530cbf195 -r 2d32115dc56c .bashrc
--- a/.bashrc	Thu Dec 08 10:00:51 2016 -0800
+++ b/.bashrc	Wed Jan 11 09:40:16 2017 -0800
@@ -42,6 +42,7 @@
 alias mslower='mplayer -osd-fractions 1 -speed 0.1 -osdlevel 3'
 alias patch='patch --reject-file=-'
 alias random="python -c 'import sys, random; foo = sys.argv[1:]; random.shuffle(foo); print (\" \".join(foo))'"
+alias sshlax='ssh -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null'
 alias weekstamp="date --date=\"$((`date '+%u'`-1)) days ago\" '+%b %d'"
 alias wget='wget --no-check-certificate'
 if [ -e ~/.bashttw ]