racket / racket/drracket

drracket-files.html should be more explicit about location of MacOS preferences

Open Beginner friendly
#392 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Racket
Stars
516
Forks
103
PR merge metrics
No merged PRs in 30d

Description

This is a very, very small request for clarification in one of the online documentation files.

Section 3.5.3 of the documentation file drracket-files.html says:

On Mac OS, preferences are stored in "org.racket-lang.prefs.rktd" in the user’s preferences folder.

I've been using MacOS daily for over ten years, and occasionally before that--mainly as a unix system, but also for Mac GUI apps--and I had no idea where my "preferences folder" was. A web search brought me to this page, which told me that the (standard?) location is: ~/Library/Preferences . (That page refers to MacOS 10.9, but I found the location to be correct on 10.15.)

Therefore the Racket preferences file is (usually?) ~/Library/Preferences/org.racket-lang.prefs.rktd. It would be better if the doc file said that.

Thanks-

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Open drracket-files.html and read section 3.5.3, focusing on the sentence describing the Mac OS preferences folder. Update the documentation to state the usual ~/Library/Preferences location and the org.racket-lang.prefs.rktd file path. Done means the section explicitly tells readers where to find the preferences file.

Written by the indexing model from the issue text.

Assessment

Domain
documentation
Issue type
Documentation
Difficulty
1/5
Estimated time
Under an hour
Activity status
Stale
Clarity
Clearly specified
Newbie friendliness
88/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.