This repo contains three different devshell envioronments all located in the flake.nix in each directory.
Install and enable nix
sh <(curl -L https://nixos.org/nix/install) --no-daemon
Here is a Python devshell with angr and r2 installed
❯ cd cmu_binary_bomb
❯ nix develop
❯ python3 flag2.py
❯ r2 --version
Note that Rust is not available in this devshell
❯ cargo --version
cargo: command not found
And python3 requests is also not available in the Python environment
since it was not in the included packed in the flake.nix
python = pkgs.python311.withPackages (p: with p; [
angr
ipython
ipdb
python-lsp-server
]);
❯ python3 -c 'import requests'
Traceback (most recent call last):
File "<string>", line 1, in <module>
ModuleNotFoundError: No module named 'requests'
❯ cd macroquad_breakout_juicing
❯ nix develop
❯ cargo run -r
Note that Python3 with angr is not available in this devshell.
❯ python3 -c 'import angr'
Traceback (most recent call last):
File "<string>", line 1, in <module>
ModuleNotFoundError: No module named 'angr'
❯ cd fun_nix
❯ nix develop
❯ asciiquarium
❯ nyancat
❯ fortune
Note that Python3 with angr is not available in this devshell.
❯ python3 -c 'import angr'
Traceback (most recent call last):
File "<string>", line 1, in <module>
ModuleNotFoundError: No module named 'angr'
Note that Rust is not available in this devshell
❯ cargo --version
cargo: command not found