principals in keydir/principals

This commit is contained in:
Jakobus Schürz 2019-07-31 18:24:41 +02:00
parent c82e894f7e
commit 7b97347875

View file

@ -51,7 +51,7 @@ def post_update(cfg, git_dir):
principals = util.getSSHPrincipalsPath(config=cfg) principals = util.getSSHPrincipalsPath(config=cfg)
ssh_principals.writePrincipals( ssh_principals.writePrincipals(
path=principals, path=principals,
principals=os.path.join(export, 'principals'), principals=os.path.join(export, 'keydir/principals'),
) )
class Main(app.App): class Main(app.App):