Compare commits

..

No commits in common. "fc9b3a020c9ba8d2954befdb583119e3d56afbd0" and "419b00792aef24d463affb7f9e0d1ae17fdc65df" have entirely different histories.

2 changed files with 1 additions and 2 deletions

View file

@ -20,7 +20,6 @@
"$git_status"
"$package"
"$nix_shell"
"$container"
"$cmd_duration"
"$line_break"
"$status"

View file

@ -12,7 +12,7 @@
end
'';
shellAliases = {
xilinx-env = "distrobox enter --additional-flags '--env _JAVA_AWT_WM_NONREPARENTING=1' arch";
xilinx-env = "nix develop --no-write-lock-file github:nix-community/nix-environments#xilinx-vitis";
};
plugins = [
{