Ce site est optimisé pour être consulté depuis un navigateur moderne dans lequel JavaScript est activé.

Commande pour modifier les paramètres d'Opera

Nanoseb

Bonjour
Alors voila mon "problème", en faite j'utilise quelques fois mon téléphone (sous android) pour avoir un partage de connexion usb, et avec le logiciel que j'utilise (proxoid) il faut modifier les paramètres proxy d'opéra et donc j'aimerais savoir si il existe une commande pour modifier ça, j'ai cherché en tapant opera --help mais ai rien trouvé de tel. Il y a aussi peut être un fichier avec toutes les configuration du navigateur mais je ne l'ai pas trouvé dans le dossier .opera.
Donc je m'en remet à vous, si quelqu'un a une solution même un peut complexe je suis preneur.

Merci d'avance et bonne fin de journée

Seb

Climenole

Salut Nanoseb :-)

Ouais... vrai qu'il n'y a pas de commutateur dans Opera pour changer les paramètres proxy
[ Voir la liste: Opera command line switches ]

Par contre peut-être ceci pourrait convenir: exporter une variable d'environnement pour paramétrer un proxy avec la commande
export HTTP_PROXY='bal bla bla' et pour rendre la modif. permanente l'ajouter dans ~/.profile ?

Trouvé (mais pas essayé) là: Set up HTTP PROXY via command line in Linux/FreeBSD

Est-ce que cela est une solution au problème? Dis-nous. A+ :-)

Nanoseb

Merci de cette réponse rapide, en faite le problème c'est que dans opéra il faut rentrer localhost et le port 8080, mais je ne sais pas trop comment remplacé ça dans la commande, j'ai essayé
export HTTP_PROXY='localhost:8080' et export HTTP_PROXY='http://localhost:8080' mais sans succès.

grandtoubab

c'est pas ça que tu cherches

Nanoseb

si c'est ça mais j'aimerais automatisé le processus donc le faire en ligne de commande et créer script pour ne pas avoir a naviguer dans les menus à chaque fois.

grandtoubab

et en faisant 2 fichiers operaprefs.ini puisque la partie proxy est dedans

[Proxy]
Use HTTP=0
Use HTTPS=0
Use FTP=0
Use GOPHER=0
Use WAIS=0
Use Automatic Proxy Configuration=0
HTTP server
HTTPS server
FTP server
Gopher server
WAIS server
Automatic Proxy Configuration URL=
Enable HTTP 1.1 for proxy=0
No Proxy Servers=
No Proxy Servers Check=0

normalement il est dans ton home , pour verifier dans la barre d'adresse
opera:about

Nanoseb

A oui c'est ce que je cherchais, je teste ça tout de suite, Merci.

EDIT : ça marche nickel Merci beaucoup a tous les deux
pour ceux que ça interesse voici le script :

#!/bin/sh
cd ~/.android-sdk-linux_x86/tools/
./adb forward tcp:8080 tcp:8080
cd ~/.opera
mv operaprefs.ini operaprefs.ini3
mv operaprefs.ini2 operaprefs.ini
opera
mv operaprefs.ini operaprefs.ini2
mv operaprefs.ini3 operaprefs.ini