-
Notifications
You must be signed in to change notification settings - Fork 13k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Change 'verboten' to 'prohibited' #19929
Conversation
Sorry, but I'm not interested in this kind of change. It's a style/tone thing, and someone may also not know what 'prohibited' means, either. |
OK, that's fine @steveklabnik. To be honest, I didn't realize it's considered a real loanword: I thought it was purely German. For the record though, I asked a few people if they know what 'verboten' means:
Neither 1 nor 2 knew what it meant. 3 did, but they know a bit of German. |
It is purely German :D but I've also seen it quite some times in an english context. Much easier to pronounciate than "prohibited" and much stronger :) |
Anybody that has played Wolfenstein 3D should know what this means. |
Is it verboten to use verboten in english documentation? Using verboten shouldn't be verboten. 😸 |
Maybe a more suitable resolution to the issues raised in rust-lang#19929 and rust-lang#20439.
@steveklabnik please revise your decision... a lot more people are going to understand prohibited. As an aside, even more people are going to understand not allowed. |
Verboten is listed in the english dictionaries I checked, and its meaning is obvious from the context here anyway. It even sounds a lot like "forbidden". |
@Diggsey Lots of words that very few people know are listed in dictionaries. In the case of verboten, are we missing anything that forbidden or prohibited doesn't give? I see more harm (fewer people know the word) than good (some people here like the word more). |
From:
That said, sometimes, mutation is what you need, so it's not verboten.
To:
That said, sometimes, mutation is what you need, so it's not prohibited.
I like the word verboten, but it could distract from the content, if the reader doesn't know what it means.