diff options
| -rw-r--r-- | modules/home/code.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/modules/home/code.nix b/modules/home/code.nix index 5513f12..fe3319d 100644 --- a/modules/home/code.nix +++ b/modules/home/code.nix @@ -88,6 +88,13 @@ let + '' mkdir -p $out/tools/python_env ln -s ${esp-idf-python-env} $out/tools/python_env/${pythonEnvFolderName} + + # for some reason the tools script likes doubling up + # the tools folder, fix that. + substituteInPlace $out/tools/idf_tools.py \ + --replace-fail \ + "os.path.join(g.idf_tools_path, 'tools'," \ + "os.path.join(g.idf_tools_path," ''; }); |
