From 164d7bb1f8a1c899cd0cbde9811c3e999a1c1b71 Mon Sep 17 00:00:00 2001 From: Alexander Rosenberg Date: Sun, 28 Aug 2022 22:38:45 -0700 Subject: [PATCH] Change scripts to using '/bin/etc bash' --- dmenu_path | 2 +- dmenu_run | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dmenu_path b/dmenu_path index cb4df50..48b56d1 100755 --- a/dmenu_path +++ b/dmenu_path @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash config_file="$HOME/.config/dmenu/aliases" [[ -e "$config_file" ]] && source "$config_file" diff --git a/dmenu_run b/dmenu_run index 5d02f2d..b2ad18f 100755 --- a/dmenu_run +++ b/dmenu_run @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # dmenu_path | dmenu "$@" | ${SHELL:-"/bin/sh"} & config_file="$HOME/.config/dmenu/aliases"