Skip to content

Instantly share code, notes, and snippets.

@marks
Created March 16, 2017 00:00
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save marks/9e02804e92c8d05cda9aac9915b45c1b to your computer and use it in GitHub Desktop.
Save marks/9e02804e92c8d05cda9aac9915b45c1b to your computer and use it in GitHub Desktop.
### Method 1-A
mkdir -p /home/domino/.rstudio/monitored/user-settings/
echo 'uiPrefs={"theme" : "Mono Industrial"}' >> /home/domino/.rstudio/monitored/user-settings/user-settings
chown -R domino:domino /home/domino/.rstudio
if [ -f .domino/launch-rstudio-server ]; then
sed -i.bak 's# > ~/.rstudio/monitored/user-settings/user-settings# >> ~/.rstudio/monitored/user-settings/user-settings#' .domino/launch-rstudio-server
chown domino:domino .domino/launch-rstudio-server
fi
### Method 2 - snippet 1
file.copy("/home/domino/.rstudio/monitored/user-settings/user-settings", ".")
### Method 2 - snippet 2
if [ -f user-settings ]; then
mkdir -p /home/domino/.rstudio/monitored/user-settings/
cp user-settings /home/domino/.rstudio/monitored/user-settings
sed -i.bak '/initialWorkingDirectory=/d' /home/domino/.rstudio/monitored/user-settings/user-settings
chown -R domino:domino /home/domino/.rstudio
if [ -f .domino/launch-rstudio-server ]; then
sed -i.bak 's# > ~/.rstudio/monitored/user-settings/user-settings# >> ~/.rstudio/monitored/user-settings/user-settings#' .domino/launch-rstudio-server
chown domino:domino .domino/launch-rstudio-server
fi
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment