$ raco pkg config
name:
  7.9
catalogs:
  https://download.racket-lang.org/releases/7.9/catalog/
default-scope:
  user
download-cache-dir:
  /home/evdubs/.racket/download-cache
download-cache-max-files:
  1024
download-cache-max-bytes:
  67108864
git-checkout-credentials:
trash-max-packages:
  512
trash-max-seconds:
  172800
network-retries:
  5

So I ran:
$ raco pkg config --set catalogs https://pkgs.racket-lang.org 
and now I am able to migrate packages. Thank you, Matthew. Maybe this is 
related to my installation being from the PPA.

Evan

On Monday, November 9, 2020 at 3:57:05 PM UTC-10 Matthew Flatt wrote:

> What does `raco pkg config` say? The resolution search doesn't seem to
> be trying
>
> https://pkgs.racket-lang.org
>
> which is where those packages would be found.
>
> At Mon, 9 Nov 2020 17:43:22 -0800 (PST), evdubs wrote:
> > Sorry, I should have just included the full error the first time. I get:
> > 
> > $ raco pkg migrate 7.8
> > Packages to install:
> > binaryio
> > feature-profile
> > gregor
> > html-parsing
> > interactive-brokers-api
> > sxml
> > tasks
> > threading
> > webscraperhelper
> > 00: Resolving "binaryio" via 
> > https://download.racket-lang.org/releases/7.9/catalog/
> > 01: Resolving "feature-profile" via 
> > https://download.racket-lang.org/releases/7.9/catalog/
> > 02: Resolving "gregor" via 
> > https://download.racket-lang.org/releases/7.9/catalog/
> > 03: Resolving "html-parsing" via 
> > https://download.racket-lang.org/releases/7.9/catalog/
> > 05: Resolving "sxml" via 
> > https://download.racket-lang.org/releases/7.9/catalog/
> > 06: Resolving "tasks" via 
> > https://download.racket-lang.org/releases/7.9/catalog/
> > 04: Resolving "interactive-brokers-api" via 
> > https://download.racket-lang.org/releases/7.9/catalog/
> > 07: Resolving "threading" via 
> > https://download.racket-lang.org/releases/7.9/catalog/
> > raco pkg migrate: cannot find package on catalogs
> > package: threading
> > raco pkg migrate: cannot find package on catalogs
> > package: html-parsing
> > raco pkg migrate: cannot find package on catalogs
> > package: interactive-brokers-api
> > raco pkg migrate: cannot find package on catalogs
> > package: sxml
> > raco pkg migrate: cannot find package on catalogs
> > package: tasks
> > raco pkg migrate: cannot find package on catalogs
> > package: gregor
> > raco pkg migrate: cannot find package on catalogs
> > package: binaryio
> > raco pkg migrate: cannot find package on catalogs
> > package: binaryio
> > 
> > Evan
> > On Monday, November 9, 2020 at 3:32:04 PM UTC-10 Matthew Flatt wrote:
> > 
> > > At Mon, 9 Nov 2020 16:28:32 -0800 (PST), evdubs wrote:
> > > > Looking at https://download.racket-lang.org/releases/7.9/catalog/, 
> an 
> > > > uncaught exception is being thrown. This error is being returned by 
> > > other 
> > > > versions, too (7.8 and 7.7 at least).
> > >
> > > When that URL is used as a catalog by `raco pkg`, it doesn't look for
> > > HTML files or "index.html" --- and there's currently no "index.html"
> > > installed at that path, so that's why you get an address when using the
> > > address directly in a browser.
> > >
> > > But that catalog works for me. For example,
> > >
> > > raco pkg catalog-show \
> > > --catalog https://download.racket-lang.org/releases/7.9/catalog/ \
> > > racket-lib
> > >
> > > shows information for "racket-lib", and
> > >
> > > raco pkg catalog-copy \
> > > https://download.racket-lang.org/releases/7.9/catalog/ \
> > > pkgs-copy/
> > >
> > > creates a local catalog listing many packages.
> > >
> > >
> > > What package couldn't be migrated?
> > >
> > 
> > -- 
> > You received this message because you are subscribed to the Google 
> Groups 
> > "Racket Users" group.
> > To unsubscribe from this group and stop receiving emails from it, send 
> an 
> > email to [email protected].
> > To view this discussion on the web visit 
> > 
> https://groups.google.com/d/msgid/racket-users/a84f5372-8d83-4186-b998-5f9dd7e2
> > 5e86n%40googlegroups.com.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/55cfeece-82d4-4586-8e21-8197900b7923n%40googlegroups.com.

Reply via email to