Skip to content

Instantly share code, notes, and snippets.

@Commifreak
Created June 11, 2021 06:16
Show Gist options
  • Save Commifreak/e730f2f8e707da2d3f06454a64c4931c to your computer and use it in GitHub Desktop.
Save Commifreak/e730f2f8e707da2d3f06454a64c4931c to your computer and use it in GitHub Desktop.
R - move old R user lib and clean any active session to force re-creation of the user lib
#!/bin/bash
RVER=$1
if [ "$RVER" == "" ]; then
echo "No R version specified"
exit 1
fi
echo "Killing sessions..."
rstudio-server kill-all
sleep 5
echo "Set server in maintenance..."
rstudio-server offline
sleep 5
echo "Stopping server..."
service rstudio-server stop
RLIB=R/x86_64-pc-linux-gnu-library/$RVER
RSESS=.local/share/rstudio/sessions
cd /home
for user in *; do
if [ -d $user/$RLIB ]; then
NEWNAME=/oldrlibs/$RVER-$user
echo "Move $user/$RLIB to $NEWNAME..."
mv $user/$RLIB $NEWNAME
else
echo "Skipping $user since $RLIB does not exist"
fi
if [ -d $user/$RSESS ]; then
echo "Clearing $user session folder ($user/$RSESS)..."
rm -rf $user/$RSESS/*
fi
done
service rstudio-server start
#sleep 5
#rstudio-server online
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment