Search Results
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 |
This tag is for requests to replace one tag with another existing tag. It also applies to requests that one tag should be merged into another, or simply abandoned.
3
votes
Can the [grub] and [grub2] tags be renamed?
Most people I know have been saying grub two for the last 14 years, and they would say old grub if they happened to talk about the old times. In this situation, grub and grub2 should be synonyms and r …