added xilinx-env for vivado
This commit is contained in:
parent
c0c5b58949
commit
ced394fe30
|
@ -10,12 +10,13 @@
|
||||||
'';
|
'';
|
||||||
|
|
||||||
profileExtra = ''
|
profileExtra = ''
|
||||||
|
|
||||||
eval "$(ssh-agent -s)"
|
eval "$(ssh-agent -s)"
|
||||||
ssh-add ~/.ssh/git_school
|
ssh-add ~/.ssh/git_school
|
||||||
ssh-add ~/.ssh/git_personal
|
ssh-add ~/.ssh/git_personal
|
||||||
ssh-add ~/.ssh/id_ed25519
|
ssh-add ~/.ssh/id_ed25519
|
||||||
|
|
||||||
'';
|
'';
|
||||||
|
sessionVariables = {
|
||||||
|
_JAVA_AWT_WM_NONREPARENTING = 1;
|
||||||
|
};
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
|
@ -11,6 +11,9 @@
|
||||||
tmux attach
|
tmux attach
|
||||||
end
|
end
|
||||||
'';
|
'';
|
||||||
|
shellAliases = {
|
||||||
|
xilinx-env = "nix develop --no-write-lock-file github:nix-community/nix-environments#xilinx-vitis";
|
||||||
|
};
|
||||||
plugins = [
|
plugins = [
|
||||||
{
|
{
|
||||||
name = "z";
|
name = "z";
|
||||||
|
|
Loading…
Reference in a new issue