Skip to content
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

Replace 'bare mortal' with a more idiomatic English expression #40984

Merged
merged 1 commit into from
Jun 5, 2024

Conversation

holly-cummins
Copy link
Contributor

This is a "what do you think?" PR, not a "you must do this" PR. The expression "for bare mortal" isn't very idiomatic in English. I did a quick google to double-check, and the top hits were all this page, and then I found one other use: "how can a bare mortal like me ...". Most other uses were a Thomas Pynchon quote, "the bare mortal world that is our home”, where the phrase has a different meaning.

What I'd say is "mere mortals" instead. It's widely used to mean "accessible".

Now, because it's so widely used, it's less distinctive, and it lacks some of the Franglish charm of "bare mortal." In interface design, we should always go for the principle of least surprise, but I'm less sure about what's best in language use.

This is a "what do you think?" PR, not a "you must do this" PR. The expression "for bare mortal" isn't very idiomatic in English. I did a [quick google](https://www.google.com/search?client=firefox-b-e&q=%22bare+mortal%22#ip=1) to double-check, and the top hits were all this page, and then I found one other use: "how can a bare mortal like me ...". Most other uses were a Thomas Pynchon quote, "the bare mortal world that is our home”, where the phrase has a different meaning. 

What I'd say is "mere mortals" instead. It's [widely used](https://www.google.com/search?q=for+mere+mortals) to mean "accessible". 

Now, because it's so widely used, it's less distinctive, and it lacks some of the Franglish charm of "bare mortal." In interface design, we should always go for the principle of least surprise, but I'm less sure about what's best in language use.
@holly-cummins
Copy link
Contributor Author

Longest ever PR comment for a change which is basically a nit. :)

Copy link

quarkus-bot bot commented Jun 5, 2024

Status for workflow Quarkus Documentation CI

This is the status report for running Quarkus Documentation CI on commit 7b1fe99.

✅ The latest workflow run for the pull request has completed successfully.

It should be safe to merge provided you have a look at the other checks in the summary.

Copy link

github-actions bot commented Jun 5, 2024

🙈 The PR is closed and the preview is expired.

Copy link
Member

@gsmet gsmet left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I will trust you on this :).

@gsmet gsmet merged commit a4354ff into quarkusio:main Jun 5, 2024
5 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.12 - main milestone Jun 5, 2024
@gsmet gsmet modified the milestones: 3.12 - main, 3.11.2 Jun 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Development

Successfully merging this pull request may close these issues.

2 participants