Re: [graph-tool] How to use the public key in Ubuntu 12.04