How to install Brave Browser on Linux Mint 19

curl -s https://brave-browser-apt-dev.s3.brave.com/brave-core-nightly.asc | sudo apt-key add -

UBUNTU_CODENAME=$( (grep DISTRIB_CODENAME /etc/upstream-release/lsb-release || grep DISTRIB_CODENAME /etc/lsb-release) 2>/dev/null | cut -d'=' -f2 )

echo "deb [arch=amd64] https://brave-browser-apt-dev.s3.brave.com/ $UBUNTU_CODENAME main" | sudo tee /etc/apt/sources.list.d/brave-browser-dev-$UBUNTU_CODENAME.list

sudo apt update

sudo apt install brave-browser

How to install Grub Customizer on Ubuntu or Linux Mint

sudo add-apt-repository ppa:danielrichter2007/grub-customizer -y

# getting new info of this new repo

sudo apt-get -y update

# installing

sudo apt-get install -y grub-customizer

# repo for grub-customizer

How to add proxy settings to Linux Mint 19.1

At search bar type:
proxy

Click on network then put your network settings: