--- a/smalltalk Fri Oct 26 09:56:43 2018 +0100 +++ b/smalltalk Fri Feb 01 22:19:40 2019 +0000 @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # $Header$ #