Removing exotic ports for PNRs

This commit is contained in:
Jay McCarthy 2013-01-08 07:42:42 -07:00
parent 3f65f91f03
commit b0f3f03412
4 changed files with 7 additions and 7 deletions

View File

@ -322,7 +322,7 @@
empty empty
(list "Someone tried to register your email address for an account on Planet2. If you want to authorize this registration and log in, please click the following link:"
""
(format "https://plt-etc.byu.edu:9004~a" k-url)
(format "https://pnr.plt-etc.byu.edu~a" k-url)
""
"This link will expire, so if it is not available, you'll have to try to register again."))
(template

View File

@ -207,8 +207,8 @@
(λ ()
(match k
["indexes"
(list "https://plt-etc.byu.edu:9004"
"https://plt-etc.byu.edu:9003")]))))
(list "https://pnr.plt-etc.byu.edu"
"https://planet-compat.plt-etc.byu.edu")]))))
(define (package-index-lookup pkg)
(or

View File

@ -192,8 +192,8 @@ the @tech{package source} string and @racket['checksum] mapped to the
@racket['source] will be a remote URL.
PLT supports two @tech{package name resolvers} that are enabled by
default: @url{https://plt-etc.byu.edu:9004} for new
packages and @url{https://plt-etc.byu.edu:9003} for
default: @url{https://pnr.plt-etc.byu.edu} for new
packages and @url{https://planet-compat.plt-etc.byu.edu} for
automatically generated packages for old @|PLaneT|
packages. Anyone may host their own @tech{package name resolver}. The
source for the PLT-hosted resolvers is in the
@ -507,7 +507,7 @@ it by a simple name until it is listed on a @tech{package name resolver}.
If you'd like to use the official @tech{package name resolver}, browse
to
@link["https://plt-etc.byu.edu:9004/manage/upload"]{https://plt-etc.byu.edu:9004/manage/upload}
@link["https://pnr.plt-etc.byu.edu/manage/upload"]{https://pnr.plt-etc.byu.edu/manage/upload}
and upload a new package. You will need to create an account and log
in first.

View File

@ -6,6 +6,6 @@
(with-fake-root
(shelly-case
"reading and writing configs"
$ "raco pkg config indexes" =stdout> "https://plt-etc.byu.edu:9004\nhttps://plt-etc.byu.edu:9003\n"
$ "raco pkg config indexes" =stdout> "https://pnr.plt-etc.byu.edu\nhttps://planet-compat.plt-etc.byu.edu\n"
$ "raco pkg config --set indexes http://localhost:9000"
$ "raco pkg config indexes" =stdout> "http://localhost:9000\n")))