I use EdgeDB CLI in a Docker container and start seeing Newer version of edgedb tool exists 3.4.0+160d07d (current 3.3.0+071876c). To upgrade runedgedb cli upgrade`. After going through the instructions on https://www.edgedb.com/docs/intro/quickstart, I realized that https://sh.edgedb.com still installs the old version.
EdgeDB Version: not relevant
EdgeDB CLI Version: try to install the latest
OS Version: Debian
Steps to Reproduce:
~ docker run -it --rm python:3.9 sh -c "curl --proto '=https' --tlsv1.2 -sSf https://sh.edgedb.com | sh -s - -y"
info: downloading installer
[2023-08-08T16:25:28Z WARN edgedb::version_check] Newer version of edgedb tool exists 3.4.0+160d07d (current 3.3.0+071876c)
Welcome to EdgeDB!
This will install the official EdgeDB command-line tools.
......
Seems like the S3 bucket redirect wasn't updated correctly when the latest release was made. Fixed now. Keeping this open for cause investigation and moving to edgedb-pkg.
I use EdgeDB CLI in a Docker container and start seeing
Newer version of edgedb tool exists 3.4.0+160d07d (current 3.3.0+071876c). To upgrade run
edgedb cli upgrade`. After going through the instructions on https://www.edgedb.com/docs/intro/quickstart, I realized that https://sh.edgedb.com still installs the old version.Steps to Reproduce: