Page MenuHomeIsabelle/Phabricator
Create Task
Maniphest T2

SSH port for hosted repository access
Closed, ResolvedPublic
Actions

Description

The standard SSH setup prefers port 2222, in order to avoid a conflict with the regular ssh login on port 22. This is not a problem, but a bit ugly. Consider changing it eventually, at the cost of extra complexity of the underlying Ubuntu Linux Server configuration.

Event Timeline

makarius triaged this task as Low priority.Sep 24 2019, 10:31 PM
makarius created this task.
makarius created this object with visibility "Public (No Login Required)".
makarius created this object with edit policy "Administrators".
makarius claimed this task.Sep 25 2019, 1:52 PM
makarius closed this task as Resolved.Sep 25 2019, 8:40 PM

See Isabelle/5094098f5e0c

makarius changed the edit policy from "Administrators" to "Task Author".Sep 30 2019, 4:47 PM