Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#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

c'est pas ça que tu cherches
1286654273.png
1286654306.png


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