fix install.sh->install

Author: lionello

.github/workflows/install.yml

@@ -0,0 +1,22 @@
+name: Install script
+
+on:
+  release:
+    types: [published]
+  push:
+    branches:
+      - main
+    paths:
+      - '.github/workflows/install.yml'
+      - 'src/bin/install'
+
+jobs:
+  install:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Install defang
+        run: . <(curl -Ls https://s.defang.io/install)
+
+      - name: Login to Defang
+        run: defang version

README.md

@@ -23,7 +23,7 @@ Install the Defang CLI from one of the following sources:
   ```
 * Using a shell script:
   ```
-  . <(curl -Ls https://s.defang.io/install.sh)
+  . <(curl -Ls https://s.defang.io/install)
   ```
 * Using [Go](https://go.dev):
   ```

samples/nodejs/document-starter/pages/getting-started/installing.mdx

@@ -17,7 +17,7 @@ brew install defang-io/defang/defang
 You can install the Defang CLI using a bash script. Just run the following command in your terminal:
 
 ```bash
-. <(curl -Ls https://s.defang.io/install.sh)
+. <(curl -Ls https://s.defang.io/install)
 ```
 
 The script will try to download the appropriate binary for your operating system and architecture, add it to `~/.local/bin`, and add `~/.local/bin` to your `PATH` if it's not already there, with your permission. If you do not provide permission it will print an appropriate instruction for you to follow to add it manually. You can also customize the installation directory by setting the `INSTALL_DIR` environment variable before running the script.

samples/nodejs/nextjs-github-actions/.github/workflows/deploy.yaml

@@ -20,7 +20,7 @@ jobs:
       uses: actions/checkout@v4
 
     - name: Install defang
-      run: . <(curl -Ls https://s.defang.io/install.sh)
+      run: . <(curl -Ls https://s.defang.io/install)
 
     - name: Login to Defang
       run: defang login

samples/other/vllm/ui/src/app/docs.md

@@ -107,7 +107,7 @@ brew install defang-io/defang/defang
 You can install the Defang CLI using a bash script. Just run the following command in your terminal:
 
 ```bash
-. <(curl -Ls https://s.defang.io/install.sh)
+. <(curl -Ls https://s.defang.io/install)
 ```
 
 The script will try to download the appropriate binary for your operating system and architecture, add it to `~/.local/bin`, and add `~/.local/bin` to your `PATH` if it's not already there, with your permission. If you do not provide permission it will print an appropriate instruction for you to follow to add it manually. You can also customize the installation directory by setting the `INSTALL_DIR` environment variable before running the script.

src/bin/install

@@ -150,7 +150,7 @@ _prompt_and_append_to_file() {
     if [[ $REPLY =~ ^[Yy]$ ]]; then
         # Append the line to the profile file
         echo >> "$profile_file"
-        echo "$line # Added by Defang install.sh" >> "$profile_file"
+        echo "$line # Added by Defang install" >> "$profile_file"
     else
         # Print the command for the user to run manually
         echo "To manually add the required line, run the following command:"