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" "$git_status"
"$package" "$package"
"$nix_shell" "$nix_shell"
"$container"
"$cmd_duration" "$cmd_duration"
"$line_break" "$line_break"
"$status" "$status"

View file

@ -12,7 +12,7 @@
end end
''; '';
shellAliases = { 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 = [ plugins = [
{ {