config/fedora_bootstrap.sh

26 lines
697 B
Bash
Raw Normal View History

2022-05-21 14:24:14 +00:00
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
2022-05-21 14:24:14 +00:00
2022-10-11 13:53:06 +00:00
# Install rust
2022-05-21 14:24:14 +00:00
curl https://sh.rustup.rs -sSf | sh
gem install tmuxinator
2022-10-11 13:53:06 +00:00
## Lean version manager
#curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
# ble.sh
curl -L https://github.com/akinomyoga/ble.sh/releases/download/nightly/ble-nightly.tar.xz | tar xJf -
bash ble-nightly/ble.sh --install ~/.local/share
echo 'source ~/.local/share/blesh/ble.sh' >> ~/.bashrc