From e591e595957cc781e57a9b46b5b050d91c17a4b7 Mon Sep 17 00:00:00 2001
From: winterhalderp <winterhalderp@irs.uni-stuttgart.de>
Date: Tue, 16 Mar 2021 18:11:16 +0100
Subject: [PATCH] Update 'bashrc_addons.bash'

---
 bashrc_addons.bash | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bashrc_addons.bash b/bashrc_addons.bash
index 7a16d07..d38cca3 100644
--- a/bashrc_addons.bash
+++ b/bashrc_addons.bash
@@ -1,3 +1,4 @@
+#!/bin/bash
 # Add these lines to .bashrc, do this:
 # Add the the following in between "#----" to the end of your .bashrc script