Join GitHub today
make it easy to delete default channels, servers and networks #45
changed the title from
/network remove * and /server remove *
make it easy to delete default channels, servers and networks
Jun 16, 2014
Jul 6, 2014
The command syntax for
How would you suggest making it easier to get into a clean state? If somebody really wants to get rid of the default servers and network, they usually know how to do so.
I think this problem is twofold:
Firstly, most of our users are unaware that adding a server that already exists is a modification operation rather than an add operation. Hopefully, getting better documentation out in the next release will help a bit with this, but I still suspect most people are unaware of this.
Secondly, who are we targeting? As far as I can tell, it's good that we have our default configuration with information about the most commonly used networks and their respective behaviour, but what we want is to let people switch our default servers out with whatever they prefer with whatever options they prefer easily.
I'm unsure how we should go around and implementing something that makes this easier. I don't think there's much we can do to our interface as it is right now without implementing some odd behaviour only to support this.
We do have the slightly odd
I have removed the
I will write a section on how to do manual windows in other parts of the documentation; I haven't decided where, but it's on my TODO.
I don't understand why pushing it one level down the chain helps? My thought on having that option on
Anyway, this is not something we absolutely must get in for 0.8.17, so we toy around with various solutions once the upcoming release is out.
If someone is up for implementing this, feel free - it will probably get in for 0.8.18 then.
I do not think we should modify