You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, skein staging directory defaults to $HOME/.skein . There can be situations where we have to configure the staging directory path to a different location. For example, if there is not enough space left in $HOME to accommodate the staging files, we may have to configure it to a different location.
The approach I am thinking is to use an environment variable SKEIN_STAGING_DIR for this purpose. If $SKEIN_STAGING_DIR is set, then $SKEIN_STAGING_DIR/.skein will be used as the staging directory. Otherwise, fallback to $HOME/.skein
The text was updated successfully, but these errors were encountered:
This change introduces an environment variable SKEIN_STAGING_DIR
to the Driver. If the variable is set, Driver will use the value
to create the staging directory. If the variable is not set, the
Driver falls back to fs.getHomeDir() to create the staging
directory.
Closesjcrist#237
Currently, skein staging directory defaults to
$HOME/.skein
. There can be situations where we have to configure the staging directory path to a different location. For example, if there is not enough space left in$HOME
to accommodate the staging files, we may have to configure it to a different location.The approach I am thinking is to use an environment variable SKEIN_STAGING_DIR for this purpose. If
$SKEIN_STAGING_DIR
is set, then$SKEIN_STAGING_DIR/.skein
will be used as the staging directory. Otherwise, fallback to$HOME/.skein
The text was updated successfully, but these errors were encountered: