#3 Specify PI name for stats

クローズ

2 年前に george によって開かれました · 0 コメント

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 この課題がコミット 2 年前から参照されました

user-defined PIname. fixes #3

george 2 年前に閉じられました

会話に参加するにはサインインしてください。

ラベルなし

マイルストーンなし

担当者なし

1 参加者