search

genodelabs / goa

Tool for streamlining the development of Genode applications
GNU Affero General Public License v3.0
19 stars 18 forks source link

Fix getting pubkey_id from depot user pubkey #91 #92

Open iloskutov opened 1 month ago

iloskutov commented 1 month ago

On systems with the option use-keyboxd is enabled in config, option --no-keyring in gpg command line doesn't work. The result of the pubkey_id function will be the first key in the keybox keyring instead of the id of pubkey from the depot user.

chelmuth commented 1 month ago

@jschlatow I'm fine with this change. What do you think? Also, we should not miss to adapt genode/tool/depot too.

jschlatow commented 1 month ago

I squashed both commits into 7ef90cc with a minor adaptation to suppress the Total number processed: messages from gpg and merged it to staging.

@chelmuth Thanks for the review. I'll create a corresponding issue to adapt genode/tool/depot.