Revert "make user PLaneT install path use installation name instead of version"

This reverts commit ac20e7fc0d.

Using the installation name name seems right, but it creates sandbox
trouble, since finding the instalation name requires several
path-chasing steps. I think the sandbox problem shoudl be fixed,
somehow, but since I don't have a good idea right now, I'm reverting
the PLaneT change.
This commit is contained in:
Matthew Flatt 2013-08-04 09:49:49 -06:00
parent c67fd14ae8
commit de230bc1ef
2 changed files with 6 additions and 8 deletions

View File

@ -9,8 +9,7 @@
planet/util
planet/version
planet/syntax
planet/scribble
setup/dirs))
planet/scribble))
@title{Utility Libraries}
@ -151,7 +150,7 @@ manually edit the @filepath{config.rkt} file.
@defparam[PLANET-DIR dir path-string?]{
The root of the version-specific PLaneT files.
Defaults to @racket[(build-path (PLANET-BASE-DIR) (get-installation-name))].
Defaults to @racket[(build-path (PLANET-BASE-DIR) (version))].
}
@defparam[CACHE-DIR dir path-string?]{
@ -207,7 +206,7 @@ The port on the server the client should connect to if
@defparam[HARD-LINK-FILE file path?]{
The name of the file where hard links are saved. Defaults to
@racket[(build-path (PLANET-BASE-DIR) (get-installation-name) "HARD-LINKS")].
@racket[(build-path (PLANET-BASE-DIR) (version) "HARD-LINKS")].
}
@defparam[PLANET-ARCHIVE-FILTER regexp-filter (or/c #f string? regexp?)]{
A regular-expression based filter that is used to skip files when building a @|PLaneT| archive.

View File

@ -1,6 +1,5 @@
#lang racket/base
(require "private/define-config.rkt"
setup/dirs)
(require "private/define-config.rkt")
(define-parameters
(PLANET-SERVER-NAME "planet.racket-lang.org")
(PLANET-SERVER-PORT 270)
@ -11,11 +10,11 @@
(build-path (find-system-path 'addon-dir)
"planet"
(PLANET-CODE-VERSION)))))
(PLANET-DIR (build-path (PLANET-BASE-DIR) (get-installation-name)))
(PLANET-DIR (build-path (PLANET-BASE-DIR) (version)))
(CACHE-DIR (build-path (PLANET-DIR) "cache"))
(UNINSTALLED-PACKAGE-CACHE (build-path (PLANET-BASE-DIR) "packages"))
(LINKAGE-FILE (build-path (PLANET-DIR) "LINKAGE"))
(HARD-LINK-FILE (build-path (PLANET-BASE-DIR) (get-installation-name) "HARD-LINKS"))
(HARD-LINK-FILE (build-path (PLANET-BASE-DIR) (version) "HARD-LINKS"))
(LOG-FILE (build-path (PLANET-DIR) "INSTALL-LOG"))
(DEFAULT-PACKAGE-LANGUAGE (version))