From c30e5f5a67ebfc97394a1e19ae35cef8231b0a8b Mon Sep 17 00:00:00 2001
From: Roman Zeyde <roman.zeyde@gmail.com>
Date: Fri, 4 Nov 2016 19:33:05 +0200
Subject: [PATCH] gpg: add optional arguments to `gpg-shell`

---
 scripts/gpg-shell | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/scripts/gpg-shell b/scripts/gpg-shell
index 3dafb94..4b1dc76 100755
--- a/scripts/gpg-shell
+++ b/scripts/gpg-shell
@@ -2,9 +2,15 @@
 set -eu
 
 export GNUPGHOME=~/.gnupg/trezor
-gpg2 --list-public-keys
 
 # Make sure that the device is unlocked before starting the shell
 trezor-gpg-unlock
 
-${SHELL}
+COMMAND=$*
+if [ -z "${COMMAND}" ]
+then
+	gpg2 --list-public-keys
+	${SHELL}
+else
+	${COMMAND}
+fi