Browse Source

Merge 7054252fd1 into e8d3c53ba1

pull/2699/merge
notmike 18 hours ago
committed by GitHub
parent
commit
dcbf6e2a7a
No known key found for this signature in database GPG Key ID: B5690EEEBB952194
  1. 1
      .envrc
  2. 2
      .gitignore
  3. 11
      default.nix

1
.envrc

@ -1 +0,0 @@
use nix

2
.gitignore

@ -17,3 +17,5 @@ compile_commands.json
.venv/
venv/
platformio.local.ini
.envrc
default.nix

11
default.nix

@ -1,11 +0,0 @@
{ pkgs ? import <nixpkgs> {} }:
let
in
pkgs.mkShell {
buildInputs = [
pkgs.platformio
pkgs.python3
# optional: needed as a programmer i.e. for esp32
pkgs.avrdude
];
}
Loading…
Cancel
Save