Oder man traegt es im Menue (bei mir Cinamon) ein:
1. rechts auf Menübotton klicken
2. Einrichten...
3. Menübearbeitung öffnen
4. Internet
5. Vivaldi
6. Eigenschaften
7. eintragen: "/usr/bin/vivaldi-stable --proxy-server=127.0.0.1:4001"
(die IP und die Portangabe ist nur ein Beispiel, also eigene Daten eingeben)
Greets agl