usa nix-shell rshell per upload file con `cp main.py /pyboard`
per invece usare lo shell di micropython nix-shell minicom