Martin Kepplinger 0dc8d9f82e gui-init: move Exit to Shell menu entry under Advanced Settings ...

Exiting the GUI to a shell is not expected to be part of our users'
everyday workflow, and thus this menu entry doesn't have to be on
the main page.

2019-05-25 10:30:18 +02:00

..

.gnupg

instruct gpg to use gpg-agent.

2019-01-29 11:16:13 -05:00

bin

gui-init: move Exit to Shell menu entry under Advanced Settings

2019-05-25 10:30:18 +02:00

etc

reverting shred on a file that is not a secret to be shredded

2019-02-24 10:29:05 -05:00

sbin

"$@" does not expand correctly in test expressions, use "$*" instead (issue #181)

2017-04-11 06:31:25 -04:00

.ash_history

GPG2 required changes for key and trustdb generation and inclusion in rom

2019-01-29 11:18:11 -05:00

init

Merge branch 'master' into gpg2

2019-02-08 13:29:02 -05:00

mount-boot

extract and verify gpg signature on the boot script

2016-08-06 17:13:22 -04:00