29 lines
633 B
Bash
29 lines
633 B
Bash
|
|
sudo dnf install htop neovim stow tmux podman cloc npm nodejs gnome-tweak-tool ripgrep rubygems
|
|
sudo dnf install cockpit pcp cockpit-pcp
|
|
|
|
mkdir -p ~/Code
|
|
cd ~/Code
|
|
|
|
if ! [ -a config ]; then
|
|
git clone https://github.com/ntietz/config.git
|
|
cd config
|
|
fi
|
|
|
|
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
|