From b513d3be9019bb03443c034720f5085640974d48 Mon Sep 17 00:00:00 2001
From: Josh Holtrop <jholtrop+git@gmail.com>
Date: Fri, 9 Sep 2011 14:51:09 -0400
Subject: [PATCH] inputrc: F5 in terminal refreshes bash aliases

---
 inputrc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/inputrc b/inputrc
index 40fdd17..2bbbf05 100644
--- a/inputrc
+++ b/inputrc
@@ -16,6 +16,8 @@ $include /etc/inputrc
 # F4 -> c++ source file extensions
 "\eOS": "{h,cc}"
 "\e[14~": "{h,cc}"
+# F5 -> refresh bash aliases
+"\e[15~": ". ~/.bash_aliases\n"
 
 # mappings for Ctrl-left-arrow and Ctrl-right-arrow for word moving
 "\e[1;5C": forward-word