From dc03fb40fe55a7dc88c07509b47299223d4d5815 Mon Sep 17 00:00:00 2001 From: Raymaekers Luca Date: Tue, 4 Apr 2023 14:02:28 +0200 Subject: cleaned up scripts, use sh (-> dash) where possible --- bin/guiscripts/dmpdf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin/guiscripts/dmpdf') diff --git a/bin/guiscripts/dmpdf b/bin/guiscripts/dmpdf index 2d51760..e8d4601 100755 --- a/bin/guiscripts/dmpdf +++ b/bin/guiscripts/dmpdf @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh tmp="/tmp/dmpdf" find ${1:-$HOME/docs $HOME/dl} 2> /dev/null | grep -E ".+\.pdf" | sort > "$tmp" -- cgit v1.2.3