From cf3304a0ac71f36f16fc5f83f4f0a5d13329961b Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mikegerwitz@gnu.org>
Date: Mon, 20 Apr 2015 00:49:15 -0400
Subject: [PATCH] execfail on .profile fbterm exec

Otherwise, it is not possible to log into a shell (as that user, at least)
when exec fails!
---
 profile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/profile b/profile
index c71bfbd..99f5316 100644
--- a/profile
+++ b/profile
@@ -1,7 +1,7 @@
-#!/bin/sh
+#!/bin/bash
 # Executed on login (that is---a login shell)
 #
-# Copyright (C) 2013 Mike Gerwitz
+# Copyright (C) 2013,2015 Mike Gerwitz
 #
 #  This program is free software: you can redistribute it and/or modify
 #  it under the terms of the GNU General Public License as published by
@@ -22,6 +22,7 @@
 
 # execute fbterm if logging on from a tty
 if [ "$TERM" == linux ] && tty | grep -q /dev/tty; then
+  shopt -s execfail
   which fbterm >/dev/null && exec fbterm
 fi