clean-old-stack-libs.sh: pushd seems a bashism
commitdbdb2fcb86719854306d74477ffd1c8b34d8079c
authorJens Petersen <juhpetersen@gmail.com>
dateTue 19 May 2020, 15:28 (6 years ago)
parentca686ba
etc/diskspace/clean-old-stack-libs.sh+1−1
@@ -1,4 +1,4 @@
1−#!/bin/sh
1+#!/bin/bash
22
33set -e
44