VSCode IDE/Editor permite usar Visual Studio Code para editar ficheros desde un navegador.
Uso
- El primer paso es seleccionar
Interactive appsy hacer click enVSCode IDE/Editordentro del dashboard de Open OnDemand. - Aparecerá un formulario que permite configurar algunos parámetros para iniciar VS Code Editor.
VSCode Workspace
VSCode Workspace es la carpeta raíz de un proyecto. Puedes seleccionar una sola carpeta o varias carpetas como espacio de trabajo. Para que una carpeta se convierta en un espacio de trabajo de VSCode, solo necesitas seleccionarla. Por otro lado, un espacio de trabajo de varias carpetas es una capacidad avanzada de VSCode que te permite configurar varias carpetas distintas para que formen parte del espacio de trabajo. En lugar de seleccionar una carpeta como espacio de trabajo, se puede elegir un archivo JSON .code-workspace que enumere las carpetas del espacio de trabajo.
GitHub Copilot en VS Code
Para usar GitHub Copilot se ha de instalar dicha extensión usando un fichero VSIX, que puede ser descargado de aquí.
Para instalarlo, primero hay que subir el fichero VSIX a PROTEUS. Después, iniciar una sesión de VS Code mediante OOD. Una vez abierta la sesión, en la barra vertical izquierda, ir a Extensions y de ahí hacer click en los tres puntitos de la nueva barra arriba a la derecha y seleccionar Install from VSIX... Una vez instalado, debería aparecer un mensaje que dice Sign in to use GitHub Copiloten caso contrario, prueba a salir y entrar de nuevo. Sigue las instrucciones para añadir tu cuenta de Github. Es necesario volver a hacerlo cada vez que se inicie sesión.
