Skip to content

NicoAcosta/pp-container

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

12 Commits
 
 
 
 

Repository files navigation

devcontainer

Antes de comenzar

Chequear en https://github.com/codespaces si ya tienen un Codespace generado para este repo.

Para comenzar

  1. Chequear estar logeado con tu cuenta de GitHub.
  2. Cliquear el botón verde "<> Code".
  3. Ir a la solapa "Codespaces".
  4. Cliquear en "+".

En ese momento se abrirá un pestaña con el Codespace y comenzará a configurarse por primera vez - puede tardar bastante.

Ahí pueden trabajar con todo lo que tendrían en un entorno local de VS Code. Configurar plugins, clonar repos, etc.

Para volver a abrirlo

Van a https://github.com/codespaces para buscar su Codespace ya generado.

Seguro tiene un nombre random. Pueden renombrarlo.

Cada vez que lo abran tiene que cargar unas cosas, pero será mucho menos que la primera vez.

Qué incluye

  • frameworks: foundry, hardhat (manual install)
  • utilities: solc-select
  • fuzzing: slither, medusa
  • others: node, npm, pnpm, yarn, python, go
  • terminal: zsh with Oh-My-ZSH
  • extensions:
    • NomicFoundation.hardhat-solidity,
    • tintinweb.solidity-visual-auditor,
    • trailofbits.weaudit,
    • tintinweb.solidity-metrics

About

Devcontainer for PP

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages

  • Dockerfile 100.0%