use err() in die()
authorfpunktk <git@fpunktk.de>
Sat, 30 Dec 2017 11:22:13 +0000 (12:22 +0100)
committerfpunktk <git@fpunktk.de>
Sat, 30 Dec 2017 11:22:13 +0000 (12:22 +0100)
anondcim

index a2ab37497887fd4da31c06c635bda3354d15a27a..f8ca87c241dc8e522aa630205add4fa134ab5122 100755 (executable)
--- a/anondcim
+++ b/anondcim
 # You should have received a copy of the GNU General Public License
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
-die() { 
+err() {
     echo "$*" >&2
-    exit 1
 }
 
-err() { 
-    echo "$*" >&2
+die() {
+    err "$*"
+    exit 1
 }
 
 rand() {