#1 Le 09/10/2010, à 19:17
- Nanoseb
[RESOLU] Commande pour modifier les paramètres d'Opera
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
Dernière modification par Nanoseb (Le 09/10/2010, à 23:10)
Hors ligne
#2 Le 09/10/2010, à 20:54
- Climenole
Re : [RESOLU] Commande pour modifier les paramètres d'Opera
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+ :-)
Claude LaFrenière :-)
Profil & Contact: http://www.google.com/profiles/climenole
Hors ligne
#3 Le 09/10/2010, à 21:34
- Nanoseb
Re : [RESOLU] Commande pour modifier les paramètres d'Opera
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.
Hors ligne
#4 Le 09/10/2010, à 21:58
- grandtoubab
Re : [RESOLU] Commande pour modifier les paramètres d'Opera
Linux tout seul sur HP Pavilion DV7 et Acer Aspire T650, Canon MG3650 en wifi
Debian 11 Bullseye Gnome/Xorg, Gnome/Wayland avec SDDM
https://bidouilledebian.wordpress.com/
ON M'A VU DANS LE VERCORS, SAUTER A L'ELASTIQUE..... J'AI DANS LES BOTTES DES MONTAGNES DE QUESTIONS....
Hors ligne
#5 Le 09/10/2010, à 22:01
- Nanoseb
Re : [RESOLU] Commande pour modifier les paramètres d'Opera
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.
Hors ligne
#6 Le 09/10/2010, à 22:38
- grandtoubab
Re : [RESOLU] Commande pour modifier les paramètres d'Opera
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
Dernière modification par grandtoubab (Le 09/10/2010, à 22:40)
Linux tout seul sur HP Pavilion DV7 et Acer Aspire T650, Canon MG3650 en wifi
Debian 11 Bullseye Gnome/Xorg, Gnome/Wayland avec SDDM
https://bidouilledebian.wordpress.com/
ON M'A VU DANS LE VERCORS, SAUTER A L'ELASTIQUE..... J'AI DANS LES BOTTES DES MONTAGNES DE QUESTIONS....
Hors ligne
#7 Le 09/10/2010, à 22:43
- Nanoseb
Re : [RESOLU] Commande pour modifier les paramètres d'Opera
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
Dernière modification par Nanoseb (Le 01/05/2011, à 20:12)
Hors ligne