move .mixminionrc to .mixminion/
[Moved from bugzilla] Reporter: peter@palfrader.org (Peter Palfrader) Description: Opened: 2004-03-23 00:16
Tue 00:14:45 nickm: I think .mixminionrc should move to ~/.mixminion/options or ~/.mixminion/mixminion.conf or something like that Tue 00:15:06 weasel: reasonable. Not for 0.0.7. Tue 00:15:12 file a bug report.
------- Additional Comments From Peter Palfrader 2004-03-23 00:27 -------
This of course makes the UserDir option in mixminionrc option rather useless. The MIXMINIONRC environment variable should be superseded by a MIXMINIONHOME enviornent var, to choose a dir instead of ~/.mixminion/
[Automatically added by flyspray2trac: Operating System: Linux]