- /** Selects the last profile used. If the profile cache file is not
- present, the default profile is assumed. */
- void select_last_profile();
-
- /** Selects a profile. The profile cache file is updated, unless doing a
- dry run. */
- void select_profile(const std::string &);
-