#3 Specify PI name for stats

Closed
opened 2 years ago by george · 0 comments

Currently the PI name is hard-coded (as my name). This should be generalized, allowing the PI name to be provided either as:

  • configuration entry in config.rkt
  • command line argument

The first option is simplest. It also probably makes more sense, from the likely use-case of this tool as a personal database of proposals.

Currently the PI name is hard-coded (as my name). This should be generalized, allowing the PI name to be provided either as: - configuration entry in `config.rkt` - command line argument The first option is simplest. It also probably makes more sense, from the likely use-case of this tool as a personal database of proposals.
George C. Privon referenced this issue from a commit 2 years ago
Sign in to join this conversation.
No Milestone
No assignee
1 Participants
Loading...
Cancel
Save
There is no content yet.