sudo dnf install htop neovim stow tmux cloc npm nodejs gnome-tweak-tool ripgrep rubygems clang

#mkdir -p ~/Code/vendor
#cd ~/Code/vendor
#
#if ! [ -a tla-bin ]; then
#    git clone https://github.com/pmer/tla-bin.git
#fi
#cd tla-bin
#./download_or_update_tla.sh
#sudo ./install.sh /usr/local

# Install rust
curl https://sh.rustup.rs -sSf | sh

gem install tmuxinator

## Lean version manager
#curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh