Quelle  directories.gd   Sprache: Shell

DeclareGlobalFunction("PKGMAN_PackageDir");
DeclareGlobalFunction("PKGMAN_SetCustomPackageDir");
DeclareGlobalFunction("PKGMAN_CreateDirRecursively");
DeclareGlobalFunction("PKGMAN_InsertPackageDirectory");
DeclareGlobalFunction("PKGMAN_IsValidTargetDir");
DeclareGlobalFunction("PKGMAN_RemoveDirOptional");
DeclareGlobalFunction("PKGMAN_RemoveDir");
DeclareGlobalFunction("PKGMAN_GapRootDir");

PKGMAN_CustomPackageDir := "";  # Empty indicates no custom directory
PKGMAN_Sysinfo := Filename(DirectoriesLibrary(""), "sysinfo.gap");