name = new FilenameTool(source).setExtension("pub").toString(); exportPublicKeys(contract, extractKeyRole, name, options.has("base64"));
name = new FilenameTool(source).setExtension("pub").toString(); exportPublicKeys(contract, extractKeyRole, name, options.has("base64"));