...
Excerpt |
---|
Home is often used by a variety of programs use store configuration files and directories along with some cached information. These directories can contain many files and use up quite a bit of storage. An example is vscode , which stores quite a bit of data within the .vscode-server directory located in $HOME . This directory can contain upwards of 1000 files and use on the order of 100 MB. This will impact your quota on home. We recommend moving such directories to a "fakeHome " directory in: /software/projects/<project>/<username>/fakeHome . Then generate a symbolic link in $HOME that points to the corresponding directory: Column |
---|
Code Block |
---|
language | bash |
---|
theme | DJango |
---|
title | Terminal X. Setting .vscode-server directory out of the HOME directory |
---|
| $ mkdir -p $MYSOFTWARE/fakeHome
$ cp -r $HOME/.vscode-server $MYSOFTWARE/fakeHome # if .vscode_server dir initially exists in $HOME
$ rm -r $HOME/.vscode-server # if .vscode_server dir initially exists in $HOME
$ mkdir -p $MYSOFTWARE/fakeHome/.vscode-server # if .vscode_server did not initially existed in $HOME
$ ln -s $MYSOFTWARE/fakeHome/.vscode-server $HOME/.vscode-server # generate a symbolic link |
|
Note that we are using cp + rm and not mv to transfer the .vscode-server directory to another filesystem in order to get the right ownership of files in the new filesystem and remove their original ownership that is consuming the $HOME quota, otherwise the quota of the transferred files would still be assigned to $HOME quota. |
Further explanation of quotas can be found in Pawsey Filesystems and their Use.
Related pages
External links