Ticket UUID: | 3711fc7cfd21d7f868484bea0044a029313507fb | ||
Title: | A default port option in fossil settings would be nice. | ||
Status: | Fixed | Type: | Feature_Request |
Severity: | Minor | Priority: | |
Subsystem: | Resolution: | Fixed | |
Last Modified: | 2008-11-09 23:04:26 | ||
Version Found In: | all (to date) | ||
Description & Comments: | |||
It is tiresome to constantly type --port=<whatever> when using fossil server or fossil ui. Typically if the default port is in use on a system it is ALWAYS in use. I suggest a "fossil setting default-port 3030" (or similar) command for global and/or repository levels of settings.
drh added on 2008-11-09 23:04:26: |