get_user_file: Get the file of a user (email)
Description
We assume that vault
is a proper vault directory, and email
is a
valid email address.
Usage
get_user_file(vault, email)
Arguments
email
Email address (or user name, in general).
Value
The path to the user's public key. (It might not exist yet.)