Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 158442

Indicates that the report has been resolved through the implementation of a feature or the fixing of a bug.

3 votes
0 answers
59 views

What 's up with the Jobs section?

I just noticed a Jobs section: As it says, I get a page not found. I'm reasonably certain I have a Stack Overflow Careers profile. So, what is Jobs for, and how can I access it? The feature reques …
muru's user avatar
  • 204k
23 votes
1 answer
363 views

Please undo tag synonymizing: gnome-shell -> gnome

GNOME Shell is, ultimately, just one component in the GNOME DE. I can use it without many of the other trappings of GNOME, like GDM or Nautilus. It seems very weird that gnome-panel - a thing of dista …
muru's user avatar
  • 204k
13 votes
2 answers
268 views

Can we remove this [virtual]ly useless tag?

The tag virtual covers so many rather unrelated things: Questions related to virtualization, virtual devices, virtual terminal emulators, etc. It's of little use for searching or following. Can we r …
muru's user avatar
  • 204k
2 votes
1 answer
64 views

Can we undo the libvirt -> virtualization tag synonym?

Currently, libvirt is a synonym of virtualization, and is mentioned in some ~800 questions (plus its client tool virsh is mentioned in some ~200 questions that don't mention libvirt). The synonym has …
muru's user avatar
  • 204k
8 votes
2 answers
179 views

Maybe [hdpi] is not high enough, add [hidpi] as a synonym?

I have seen posts tagged with hidpi twice or thrice in the past, and each time I replaced it with hdpi, whose tag info reads: High DPI (dots per inch) screen resolutions, e.g. 4k/UHD/QHD screens …
muru's user avatar
  • 204k