The Wayback Machine - https://web.archive.org/web/20220820185404/https://github.com/topics/devenv
Here are
28 public repositories
matching this topic...
Ansible orchestration to configure a development environment -
-
Updated
Mar 9, 2022
-
Shell
My development environment -- scripts and config files.
-
Updated
May 17, 2022
-
Shell
-
Updated
Jun 18, 2018
-
Shell
MSBuild and DevEnv build-server workarounds
-
Updated
Feb 13, 2020
-
Batchfile
My dev environment for Python, C++, R, and Latex.
-
Updated
Aug 19, 2022
-
Dockerfile
Instant development environments for your laptop and the cloud
Manage different shell environments securely with ease
An Ansible project to set up my development machine in an automated way.
-
Updated
Aug 25, 2021
-
Shell
A simple python script that installs dotfiles and dev tools using ansible roles. Supports Ubuntu and OSX.
-
Updated
Jun 16, 2021
-
Vim script
Automates the workflow of setting up and using a development environment.
-
Updated
Dec 27, 2021
-
PowerShell
-
Updated
May 12, 2022
-
Rust
A package manager for static files and templates
Docker-based dev environment
-
Updated
Sep 4, 2018
-
Dockerfile
Apache Airflow configured with LocalExecutor and Spark Standalone Cluster on Docker
-
Updated
May 8, 2022
-
Python
A set of scripts and Ansible playbooks to set up a new development workstation.
-
Updated
Oct 14, 2021
-
Shell
R Development Environment Using VSCode's DevContainers and Docker
-
Updated
May 11, 2022
-
Shell
-
Updated
Apr 30, 2022
-
Vim script
Development environment for the ZoneChat application
-
Updated
Jul 30, 2021
-
Shell
Primo New UI Package for 1Search
-
Updated
Jul 29, 2022
-
JavaScript
Improve this page
Add a description, image, and links to the
devenv
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
devenv
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.