diff --git a/pkgs/plt-services/meta/pkg-index/official/static/index.js b/pkgs/plt-services/meta/pkg-index/official/static/index.js index cbb7fae8d5..236c10bb02 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static/index.js +++ b/pkgs/plt-services/meta/pkg-index/official/static/index.js @@ -1,8 +1,5 @@ -// xxx change this once the new dns entries are in -//var dynamic_host = "pkgd.racket-lang.org"; -//var dynamic_port = 443; -var dynamic_host = "plt-etc.byu.edu"; -var dynamic_port = 9004; +var dynamic_host = "pkgd.racket-lang.org"; +var dynamic_port = 443; function dynamic_url ( u ) { return "https://" + dynamic_host + ":" + dynamic_port + u + "?callback=?"; } diff --git a/pkgs/plt-services/meta/pkg-index/official/static/style.css b/pkgs/plt-services/meta/pkg-index/official/static/style.css index 905382c0a6..343fb8a1bd 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static/style.css +++ b/pkgs/plt-services/meta/pkg-index/official/static/style.css @@ -86,7 +86,7 @@ table.packages tbody tr.even { .package table tr:nth-child(3) td { height: 2.5em; } -.package table tr:nth-child(8) td { +.package table tr:nth-child(9) td { height: 3.5em; } .package table td:nth-child(1) { diff --git a/pkgs/plt-services/meta/pkg-index/planet-compat/s3.sh b/pkgs/plt-services/meta/pkg-index/planet-compat/s3.sh index b8de0cbe2a..14464788c3 100755 --- a/pkgs/plt-services/meta/pkg-index/planet-compat/s3.sh +++ b/pkgs/plt-services/meta/pkg-index/planet-compat/s3.sh @@ -5,4 +5,4 @@ PATH=~/local/new-plt/racket/bin:$PATH cd ~/local/new-plt/pkgs/plt-services/meta/pkg-index/planet-compat racket update.rkt racket static.rkt -s3cmd -c ~/.s3cfg-plt sync --recursive --delete-removed root/cache/ s3://planet-compat.racket-lang.org/ +s3cmd -c ~/.s3cfg-plt sync --recursive --delete-removed root/cache/ s3://planet-compats.racket-lang.org/