diff --git a/debman b/debman index 5217f3a..c11d31f 100755 --- a/debman +++ b/debman @@ -1,4 +1,5 @@ -#! /bin/bash -e +#! /bin/bash +set -e # debman - read a man page from an uninstalled Debian package file (.deb) diff --git a/dglob b/dglob index 16a5331..de6c86d 100755 --- a/dglob +++ b/dglob @@ -1,4 +1,5 @@ -#!/bin/sh -e +#!/bin/sh +set -e # dglob - Expand package names matching a pattern and conditions diff --git a/dman b/dman index a5e4ad5..cc36b78 100755 --- a/dman +++ b/dman @@ -1,4 +1,5 @@ -#!/bin/sh -e +#!/bin/sh +set -e ############################################################################### # This is the Ubuntu manpage repository generator and interface.