#3 Specify PI name for stats

Đã đóng
%! (template.HTML=2 năm trước cách đây)đang mở bởi george · 0 ý kiến

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.
Đăng nhập để tham gia bình luận.
Không có Milestone
Không có người được phân công
1 tham gia
Đang tải...
Hủy bỏ
Lưu
Ở đây vẫn chưa có nội dung nào.