David, It finally updated today (Thu, 29-Jun-2023). Drew
Same error this morning. That's a slow DNS update! Drew
Thank you @cavy! I'll assume the DNS will catch up, eventually... Drew
When I try to run the Peppermint Update for a few days now, I get the following error: Error: http://repo.peppermintos.com/packages peppermint InRelease Could not connect to repo.peppermintos.com:80 (68.233.46.81), connection timed out Error: python-apt gave us FetchFailedExeption() This isn't a proper error as it's empty Screenshot of error, attached. It will eventually skip the peppermintos packages and still update the other packages. Note that pinging repo.peppermintos.com times out. Drew (edited...
When I try to run for a few days now, when I try to run the Peppermint Update, I get the following error: Error: http://repo.peppermintos.com/packages peppermint InRelease Could not connect to repo.peppermintos.com:80 (68.233.46.81), connection timed out Error: python-apt gave us FetchFailedExeption() This isn't a proper error as it's empty Screenshot of error, attached. It will eventually skip the peppermintos packages and still update the other packages. Note that pinging repo.peppermintos.com...