From 5635aeb13cd487c7922da785427acdcba77406e5 Mon Sep 17 00:00:00 2001
From: Holger Just <hello@holgerjust.de>
Date: Wed, 15 Aug 2018 23:55:02 +0200
Subject: [PATCH] Return error code if with_project fails

---
 .bashrc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.bashrc b/.bashrc
index 50a5909..19b8a66 100644
--- a/.bashrc
+++ b/.bashrc
@@ -311,6 +311,7 @@ with_project() {
     $2 "$target"
   else
     echo "unknown project"
+    return 1
   fi
 }