diff options
| author | Mattias Andrée <maandree@kth.se> | 2017-07-23 23:07:08 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@kth.se> | 2017-07-23 23:07:08 +0200 |
| commit | 12e20aecd0ef73523b344d4efc4c54d4174c3880 (patch) | |
| tree | e05f4b79f5a1379d15648de039cd53b916914e48 /blind-primary-key | |
| parent | Fix support for using sockets insteads of pipes (diff) | |
| download | blind-12e20aecd0ef73523b344d4efc4c54d4174c3880.tar.gz blind-12e20aecd0ef73523b344d4efc4c54d4174c3880.tar.bz2 blind-12e20aecd0ef73523b344d4efc4c54d4174c3880.tar.xz | |
Add ability to choose korn shell implementation
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to 'blind-primary-key')
| -rwxr-xr-x | blind-primary-key | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/blind-primary-key b/blind-primary-key index cbf421a..bcfad92 100755 --- a/blind-primary-key +++ b/blind-primary-key @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e |