{"id":21881685,"url":"https://github.com/gbenm/pintos-vscode","last_synced_at":"2026-05-08T05:32:43.540Z","repository":{"id":61731987,"uuid":"540288861","full_name":"gbenm/pintos-vscode","owner":"gbenm","description":"vscode extension for PintOS project","archived":false,"fork":false,"pushed_at":"2023-01-06T16:19:33.000Z","size":35727,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-01-26T19:11:19.403Z","etag":null,"topics":["debugging","debugging-tool","devcontainers","pintos","testing","testing-tools","vscode","vscode-extension"],"latest_commit_sha":null,"homepage":"https://gbenm.github.io/pintos-utils/pintosvsc","language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/gbenm.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2022-09-23T05:14:59.000Z","updated_at":"2024-06-17T09:34:54.000Z","dependencies_parsed_at":"2023-02-06T06:32:21.917Z","dependency_job_id":null,"html_url":"https://github.com/gbenm/pintos-vscode","commit_stats":null,"previous_names":[],"tags_count":20,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gbenm%2Fpintos-vscode","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gbenm%2Fpintos-vscode/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gbenm%2Fpintos-vscode/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gbenm%2Fpintos-vscode/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/gbenm","download_url":"https://codeload.github.com/gbenm/pintos-vscode/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":244890089,"owners_count":20527031,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["debugging","debugging-tool","devcontainers","pintos","testing","testing-tools","vscode","vscode-extension"],"created_at":"2024-11-28T09:19:57.875Z","updated_at":"2026-05-08T05:32:38.521Z","avatar_url":"https://github.com/gbenm.png","language":"TypeScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"# PintOS vscode\n\n\u003e **Important:** this is a testing version, the stable version is coming soon\n\nPintos extension, go to [pintos vscode docs](https://gbenm.github.io/pintos-utils/pintosvsc)\nfor full documentation (in Spanish only. It's strongly recommend reading)\n\n## Features\n\n- Initial setup for PintOS\n- Dev container with [gbenm/pintos](https://hub.docker.com/r/gbenm/pintos)\n- Run tests\n- Debugger\n\n## Requirements\n\n- Git\n- Docker (optional)\n- Linux environment (windows needs docker for this)\n- Editor Config extension\n- C/C++ extension (in linux)\n- [Dev containers extension](https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-containers) (if you use docker)\n\n## Extension Settings\n- `pintos.buildUtils` by default `true`. Runs `cd utils \u0026\u0026 make` before execute \"pintos health\" command\n- `pintos.addUtilsToPath` by default `true`. Adds the local `utils/` to PATH (only in this process, it doesn't change your config files)\n- `pintos.phases` the folders of the phases (probably you don't need to change it)\n- `pintos.useNodejsNativeKill` by default `false`. When spawn make processes to grade, compile, etc. This spawn other children process, if you use the native `subprocess.kill([signal])` only kill the parent process, to solve this the extension use [tree-kill](https://www.npmjs.com/package/tree-kill) package\n- `pintos.simulator` by default `qemu`. The extension uses `make` to run the tests, but the debugger need to spawn a gdb server, in this moment extension need to use pintos CLI directly, for those cases, the extension needs to know what emulator should use.\n\n### They're used as default for configuration (confirmation is always requested)\n- `pintos.baseRepository` the repo URL to get a snapshot of pintos code\n- `pintos.baseRepositoryCodeFolder` the folder containing the source code of PintOS, if your Git supports sparse checkout only clon the folder (with the original project the size will be reduced from 30MB to ~11MB)\n- `pintos.personalRepoUrl` the Url of your personal repository\n\n## Credits\nExtension icon by [Flat Icons](https://www.flaticon.com/authors/flat-icons) - [Flaticon](https://www.flaticon.com)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgbenm%2Fpintos-vscode","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgbenm%2Fpintos-vscode","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgbenm%2Fpintos-vscode/lists"}