​

Abilitare l’accesso di Cascade ai file .gitignore

​

Zone diff degli agenti

​

Supporto SSH

• Al momento supportiamo solo connessioni SSH verso host remoti basati su Linux.
• La consueta estensione Microsoft “Remote - SSH” (e l’estensione open-remote-ssh) non funzionerà: non installarla, perché entra in conflitto con il nostro supporto.
• Al momento non offriamo ancora tutte le funzionalità dell’estensione SSH di Microsoft. Per ora supportiamo soprattutto la cosa più importante: la connessione a un host. Se hai richieste di funzionalità, faccelo sapere!
• Per accedere a un devcontainer su un host remoto dopo esserti connesso via SSH, usa la command palette (Ctrl/Cmd+Shift+P) e scegli una delle seguenti opzioni:

• L’agent forwarding SSH è attivo per impostazione predefinita e userà la connessione più recente di Devin Desktop a quell’host. Se riscontri problemi, prova a ricaricare la finestra per aggiornare la connessione.
• Su Windows, vedrai alcune finestre di cmd.exe quando ti viene richiesta la password. È normale: le elimineremo presto.
• Se riscontri problemi, assicurati innanzitutto di riuscire a collegarti via ssh al tuo host remoto usando il normale ssh in un terminale. Se il problema persiste, includi l’output della scheda Output > Remote SSH (Devin) in qualsiasi bug report.

​

Dev Containers

• Locale: Docker deve essere installato sul tuo computer e accessibile dal terminale di Devin Desktop.
• Remoto tramite SSH: connettiti a un host remoto usando Devin Desktop Remote-SSH. Docker deve essere installato e accessibile sull’host remoto (dalla shell remota). Il progetto deve includere un file devcontainer.json o una configurazione equivalente.

1. Dev Containers: Open Folder in Container
   • Apre un nuovo workspace usando un file devcontainer.json specificato.
2. Dev Containers: Reopen in Container
   • Riapre il workspace corrente in un nuovo container definito dal file devcontainer.json.
3. Dev Containers: Attach to Running Container
   • Si collega a un container Docker esistente e vi connette il workspace corrente. Se il container non segue la specifica dei Development Container, Devin Desktop proverà a rilevare al meglio l’utente remoto e l’environment.
4. Dev Containers: Reopen Folder Locally
   • Quando sei connesso a un development container, si disconnette e riapre il workspace nel filesystem locale.
5. Dev Containers: Show Devin Desktop Dev Containers Log
   • Apre l’output del log di Dev Containers per la risoluzione dei problemi.

• Remote Explorer: Focus on Dev Containers (Devin Desktop) View — apre rapidamente la vista Dev Containers.

​

Limitazioni note

• onCreateCommand
• updateContentCommand
• postCreateCommand
• postStartCommand
• postAttachCommand

• Gli script install.sh delle feature (vengono eseguiti in fase di build dell’immagine)
• I mounts delle feature (i volumi vengono montati nel runtime del container)
• Il campo entrypoint delle feature (viene eseguito a ogni avvio del container)
• Tutte le altre operazioni in fase di build dell’immagine (Dockerfile, docker-compose, feature)

​

Soluzione alternativa: uso dell’entrypoint di una feature per la configurazione del runtime

{
    "name": "my-feature",
    "id": "my-feature",
    "version": "1.0.0",
    "mounts": [
        { "type": "volume", "source": "my-volume", "target": "/data/my-dir" }
    ],
    "entrypoint": "/usr/local/share/my-feature/entrypoint.sh"
}

#!/usr/bin/env bash
set -e
mkdir -p /usr/local/share/my-feature
cat > /usr/local/share/my-feature/entrypoint.sh << 'EOF'
#!/bin/sh
# Setup dipendente dal mount (eseguito ad ogni avvio del container, il volume è montato)
if [ -d /data/my-dir ]; then
    mkdir -p /etc/myapp
    cp /data/my-dir/config /etc/myapp/config
fi
exit 0
EOF
chmod +x /usr/local/share/my-feature/entrypoint.sh

​

WSL (Beta)

​

Extension Marketplace

​

Plugin di Devin Desktop