From 4e95e1ee720e340f6b8fbe8dab0dbe0190698f30 Mon Sep 17 00:00:00 2001
From: Timothy DeHerrera <tim.deh@pm.me>
Date: Fri, 19 Feb 2021 16:25:28 -0700
Subject: [PATCH] shell: fix #131

---
 shell/flk.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/shell/flk.sh b/shell/flk.sh
index 327f9819..99be02bb 100755
--- a/shell/flk.sh
+++ b/shell/flk.sh
@@ -1,3 +1,5 @@
+#!/usr/bin/env bash
+
 [[ -d "$DEVSHELL_ROOT" ]] ||
   {
     echo "This script must be run from devos's devshell" >&2