On 5/11/20 1:49 AM, Mike Starr wrote: > Thanks, Alexander! Where should I cp the package once it's unzipped? You should not unzip it. Depending on your OS, you should download file with extension .deb or .rpm, and then install it, using dpkg or rpm command. -- Wishes, Alexander Pevzner (pzz at apevzner.com)