Skip to main content
6 events
when toggle format what by license comment
May 25, 2017 at 14:05 comment added Wowfunhappy Does SE have functionality for "depreciating" tags? We could let current questions retain the "terminal" tag but bar new questions from using it, so that everyone is forced to use either "command line" or "terminal.app" going forward.
Mar 6, 2017 at 23:03 comment added Monomeeth Mod @bmike I'm just wondering whatever happened with this? If nothing, how do we know when a consensus has been reached (one way or the other)? Just asking because I'm happy to help edit/retag questions if necessary.
Jan 23, 2017 at 3:14 comment added Monomeeth Mod @bmike All things considered I am in favour of this proposal. However, I do feel that a cleanup should happen as soon as possible, otherwise we risk creating a bad user experience for some users. FWIW I'd be happy to be a part of any team to edit/retag the questions.
Jan 16, 2017 at 19:37 comment added grg Mod @bmike My initial plan (if this was to go ahead) was to rename [terminal] to [terminal.app] without any need for retagging initially. The tag is misused at the moment, but renaming the tag to something more appropriate won't cause any additional harm in the cases where it's misused currently (it's wrong at the moment, renaming wouldn't make it any more wrong). Then, as part of cleanup, slowly go through the [terminal.app] questions and retag to [command-line] as appropriate. What change to tag summaries are you suggesting? I don't think having three tags is the way to go, even temporarily?
Jan 16, 2017 at 19:25 comment added bmike Mod I agree in theory with this. In practice, we would need a team to start editing all the terminal questions to retag them with command-line. Once that effort is 25% of the way done (say 1 thousand of the 3.7k posts tagged with terminal), we might be OK making the change to the tag summaries? Or we could make terminal.app and have three tags temporarily. Still process the 3.7 k posts to add terminal.app only where needed and then merge?
Jan 16, 2017 at 18:40 history answered DanielMod CC BY-SA 3.0