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
Hi,
I'm trying to install PGAP following the quickstart instruction, but I encounter a small problem.
Due to the server's configuration my $HOME is space is limited and not enough for a full PGAP installation.
Is is possible to specify an alternative installation location?
Otherwise, what could be a workaround?
Thanks for developing and maintaining this tool :)
Cheers,
Marco
The text was updated successfully, but these errors were encountered:
Hi,
I'm trying to install PGAP following the quickstart instruction, but I encounter a small problem.
Due to the server's configuration my
$HOME
is space is limited and not enough for a full PGAP installation.Is is possible to specify an alternative installation location?
Otherwise, what could be a workaround?
Thanks for developing and maintaining this tool :)
Cheers,
Marco
The text was updated successfully, but these errors were encountered: