2021-02-15 20:53:16 -05:00
|
|
|
#! /bin/bash
|
|
|
|
|
|
|
|
## with_gpg_mount: call a program after mounting GNUPGHOME
|
|
|
|
|
|
|
|
bin="$1"
|
|
|
|
shift
|
|
|
|
|
2021-03-20 14:55:27 -04:00
|
|
|
alias="gnupg"
|
2021-02-15 20:53:16 -05:00
|
|
|
|
2022-08-07 21:32:39 -04:00
|
|
|
if rofi-dev -c "$XDG_CONFIG_HOME/rofi/devices.dhall" -m "$alias"; then
|
2021-04-03 11:18:09 -04:00
|
|
|
"$bin" "$@"
|
|
|
|
else
|
|
|
|
echo "Could not mount $alias"
|
|
|
|
fi
|