diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-05 01:15:39 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-05 01:15:39 +0000 |
commit | 2a80749484dc1ee5ad89512454de3a55ad677584 (patch) | |
tree | f1b63557908c1a9ecc394d971cda1d71209be838 | |
parent | 03d4cad7a65435e45accf522e3d4b972689023d3 (diff) |
badcommit-fixup: wip g-f-b
-rwxr-xr-x | badcommit-fixup | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/badcommit-fixup b/badcommit-fixup index 5b31614..15b1720 100755 --- a/badcommit-fixup +++ b/badcommit-fixup @@ -1,4 +1,6 @@ -#!/bin/bash +#!/usr/bin/perl -w + +use strict; set -e set -o pipefail |