G

add a command to rename a profile

jp profile rename [new_name] would be nice

Vous n'êtes pas connecté⋅e. Merci de vous connecter pour commenter.

id

145

author

Goffi

created

14/08/2016 15:36

updated

14/08/2016 15:41

labels
jp
type
bug
status
queued
priority
normal
milestone
0.7
severity
normal