I've found the Xilinx tooling to be at least as good on linux as on Windows. The tools certainly have a fair share of quirks, but I recommend it based on Xilinx having a majority market share. So if you want to learn a saleable skill, it is a good place to start. As for the boards the pynq is really good value for money with a lot of support.