### Installation Instructions for SSH and VSCode (with the SSH Plugin)

#### Windows

##### 1. Installing SSH

Windows 10 and later versions come with an optional feature to enable
OpenSSH.

1.  **Enable OpenSSH Client:**
    -   Open **Settings**.
    -   Go to **Apps** \> **Optional Features**.
    -   Click on **Add a feature**.
    -   Search for **OpenSSH Client** and install it.
2.  **Verify Installation:**
    -   Open **Command Prompt** or **PowerShell**.
    -   Type `ssh` and press **Enter**. If SSH is installed, you should
        see the usage information.

##### 2. Installing Visual Studio Code

1.  **Download VSCode:**
    -   Visit the [VSCode Download
        Page](https://code.visualstudio.com/download).
    -   Download the **User Installer** for Windows.
2.  **Install VSCode:**
    -   Run the installer and follow the on-screen instructions.
3.  **Verify Installation:**
    -   Open **Command Prompt** or **PowerShell**.
    -   Type `code` and press **Enter**. VSCode should open.

##### 3. Installing the SSH Plugin for VSCode

1.  **Open VSCode:**
    -   Launch **Visual Studio Code**.
2.  **Install Remote - SSH Extension:**
    -   Go to the **Extensions View** by clicking on the square icon in
        the sidebar or pressing `Ctrl+Shift+X`.
    -   Search for **Remote - SSH**.
    -   Click **Install**.
3.  **Verify Installation:**
    -   Press `Ctrl+Shift+P` to open the command palette.
    -   Type `Remote-SSH: Connect to Host...` and press **Enter**.
    -   If the command appears, the extension is installed correctly.

#### macOS

##### 1. Installing SSH

SSH is pre-installed on macOS.

1.  **Verify Installation:**
    -   Open **Terminal**.
    -   Type `ssh` and press **Enter**. You should see the usage
        information.

##### 2. Installing Visual Studio Code

1.  **Download VSCode:**
    -   Visit the [VSCode Download
        Page](https://code.visualstudio.com/download).
    -   Download the **macOS Installer**.
2.  **Install VSCode:**
    -   Open the downloaded file.
    -   Drag the **Visual Studio Code** app to the **Applications**
        folder.
3.  **Verify Installation:**
    -   Open **Terminal**.
    -   Type `code` and press **Enter**. If VSCode is not found, you may
        need to install the command-line tool by opening VSCode and
        pressing `Cmd+Shift+P`, typing
        `Shell Command: Install 'code' command in PATH`, and pressing
        **Enter**.

##### 3. Installing the SSH Plugin for VSCode

1.  **Open VSCode:**
    -   Launch **Visual Studio Code**.
2.  **Install Remote - SSH Extension:**
    -   Go to the **Extensions View** by clicking on the square icon in
        the sidebar or pressing `Cmd+Shift+X`.
    -   Search for **Remote - SSH**.
    -   Click **Install**.
3.  **Verify Installation:**
    -   Press `Cmd+Shift+P` to open the command palette.
    -   Type `Remote-SSH: Connect to Host...` and press **Enter**.
    -   If the command appears, the extension is installed correctly.

#### Linux (Ubuntu/Debian)

##### 1. Installing SSH

1.  **Install OpenSSH Client:**
    -   Open **Terminal**.

    -   Run the command:

        ``` sh
        sudo apt update
        sudo apt install openssh-client
        ```
2.  **Verify Installation:**
    -   Type `ssh` and press **Enter**. You should see the usage
        information.

##### 2. Installing Visual Studio Code

1.  **Download VSCode:**
    -   Visit the [VSCode Download
        Page](https://code.visualstudio.com/download).
    -   Download the **.deb package**.
2.  **Install VSCode:**
    -   Open **Terminal**.

    -   Navigate to the directory where the `.deb` file is downloaded
        and run:

        ``` sh
        sudo apt install ./<filename>.deb
        ```
3.  **Verify Installation:**
    -   Type `code` and press **Enter**. VSCode should open.

##### 3. Installing the SSH Plugin for VSCode

1.  **Open VSCode:**
    -   Launch **Visual Studio Code**.
2.  **Install Remote - SSH Extension:**
    -   Go to the **Extensions View** by clicking on the square icon in
        the sidebar or pressing `Ctrl+Shift+X`.
    -   Search for **Remote - SSH**.
    -   Click **Install**.
3.  **Verify Installation:**
    -   Press `Ctrl+Shift+P` to open the command palette.
    -   Type `Remote-SSH: Connect to Host...` and press **Enter**.
    -   If the command appears, the extension is installed correctly.

#### Linux (Fedora/RHEL/CentOS)

##### 1. Installing SSH

1.  **Install OpenSSH Client:**
    -   Open **Terminal**.

    -   Run the command:

        ``` sh
        sudo dnf install openssh-clients
        ```
2.  **Verify Installation:**
    -   Type `ssh` and press **Enter**. You should see the usage
        information.

##### 2. Installing Visual Studio Code

1.  **Download VSCode:**
    -   Visit the [VSCode Download
        Page](https://code.visualstudio.com/download).
    -   Download the **.rpm package**.
2.  **Install VSCode:**
    -   Open **Terminal**.

    -   Navigate to the directory where the `.rpm` file is downloaded
        and run:

        ``` sh
        sudo rpm -i <filename>.rpm
        ```
3.  **Verify Installation:**
    -   Type `code` and press **Enter**. VSCode should open.

##### 3. Installing the SSH Plugin for VSCode

1.  **Open VSCode:**
    -   Launch **Visual Studio Code**.
2.  **Install Remote - SSH Extension:**
    -   Go to the **Extensions View** by clicking on the square icon in
        the sidebar or pressing `Ctrl+Shift+X`.
    -   Search for **Remote - SSH**.
    -   Click **Install**.
3.  **Verify Installation:**
    -   Press `Ctrl+Shift+P` to open the command palette.
    -   Type `Remote-SSH: Connect to Host...` and press **Enter**.
    -   If the command appears, the extension is installed correctly.

------------------------------------------------------------------------

#### Suggested preliminary reading (optional)

-   https://github.com/openfheorg/openfhe-python
-   https://openfheorg.github.io/openfhe-python/html/index.html