codespace icon indicating copy to clipboard operation
codespace copied to clipboard

Persists user's own `rstudio-prefs.json`

Open dmalan opened this issue 1 year ago • 2 comments

@rongxin-liu, what do you think is best here? I'm currently persisting user prefs to (1), but would (2) or (3) perhaps be best?

  1. /workspaces/$RepositoryName/rstudio-prefs.json, in which case it appears in file explorer
  2. /workspaces/$RepositoryName/.config/rstudio/rstudio-prefs.json, similar to where it ends up in rstudio container, but won't be backed up (at the moment) via GitDoc, since it'd be in a dotfolder
  3. /home/ubuntu/.config/rstudio/rstudio-prefs.json, more similar to where it ends up in rstudio container, but it wouldn't persist after rebuilds either
  4. other...

dmalan avatar Sep 12 '24 01:09 dmalan

When people take the CS50R course, they rarely need to update (rebuild) their Codespace (because running rstudio ensures they get the latest RStduio so they don't really need the latest Codespace version), so options 2 and 3 are fine. It wouldn't be much hassle for people to re-customize their R studio after a codespace rebuild.

rongxin-liu avatar Sep 12 '24 02:09 rongxin-liu

Agreed with @rongxin-liu!

CarterZenke avatar Sep 12 '24 22:09 CarterZenke