artberri/devenv

A project to set up my development machine (@artberri) in an automated way.

Requirements

Requires Ubuntu. Tested only in Ubuntu 22.04 (Jammy Jellyfish).

Upgrade system:

sudo apt-get update
sudo apt-get upgrade

Install the latest version of git:

sudo apt-add-repository ppa:git-core/ppa -y
sudo apt-get update
sudo apt-get install git -y

Installation

export DEVENV_PATH="${HOME}/.devenv"
git clone https://github.com/artberri/devenv.git $DEVENV_PATH
export PATH=$PATH:$DEVENV_PATH/bin
devenv

Finally, install some cool theme for the gnome terminal if you want to Dracula. It's already installed for Tilix.

Updating

cd ~/.devenv
git pull
devenv

Others

• Use Shades of Purple theme for VSCode, Firefox, Chrome...
• Mount Google Drive folder:

  google-drive-ocamlfuse ~/google-drive

License

GNU GENERAL PUBLIC LICENSE (Version 2)