Skip to main content
10 events
when toggle format what by license comment
Dec 15, 2014 at 17:24 comment added Seth Mod That's funny, because I am being increasingly corrected that Unity is "a shell" and that it's "gnome shell" not a desktop environment yadda yadda.
Jan 4, 2014 at 23:24 comment added slm I'm speechless. Wow! A shell has always meant the non-GUI variety as far as I've ever heard.
Jan 4, 2014 at 22:49 comment added Braiam If compromise is needed, just remove the shell tag, and I will create cli-shell? No double meaning with GUI, and everyone will know what the tag is about. But I don't want shell synonymized to command line, since as you said, GUI-shell != command-line (shell)
Jan 4, 2014 at 22:47 comment added terdon @MarcoCeppi plus, gnome-shell does not imply Gnome, until the recent 2.0 version, Cinnamon also used Gnome shell and if I'm not mistaken, so does Mate. It is reasonable to assume that other spin-offs will also arise, none of which are Gnome despite using gnome-shell.
Jan 4, 2014 at 22:45 comment added Gilles 'SO- stop being evil' Oh, come on. Yes, shell could mean a graphical shell, but hardly anybody uses it that way in the Linux world. Even in the Ubuntu world.
Jan 4, 2014 at 22:28 comment added Marco Ceppi Mod gnome-shell implies gnome, there's really no need to tag it twice. Shell is just a bad tag because it has multiple meanings we can't force one or the other because they're both technically valid. So shell should remain synonymous with command-line and those wanting to refer to the desktop environment should just use gnome-shell
Jan 4, 2014 at 20:57 comment added Braiam yeah, but gnome shell will have "gnome" appended somewhere, we just need to enforce the use of shell and prevent the use in gnome, and shell is very specific and we have resources in the site that explain it: Shell: The program running atop the command line, like Bash, Dash, Zsh... Rather, we are going against what our own answers says. Also, we can enforce the use for whatever means necessary. I'm already enforcing some tags uses, I think I can manage 2 more.
Jan 4, 2014 at 20:36 comment added Marco Ceppi Mod No, it's gnome-shell, not shell. Shell is too generic a word hence it's almost "meta tag" status
Jan 4, 2014 at 17:57 comment added Braiam In that case we should remove it since people can use tag [gnome] and [shell] and the thing will end in [gnome] and [command line] due the synonym. And the questions that are not about an specific shell, how we tag them?
Jan 4, 2014 at 17:22 history answered Marco CeppiMod CC BY-SA 3.0