Informatiques de Paul Sab'
Vous souhaitez réagir à ce message ? Créez un compte en quelques clics ou connectez-vous pour continuer.
Le deal à ne pas rater :
Bon plan achat en duo : 2ème robot cuiseur Moulinex Companion ...
600 €
Voir le deal

Comment se connecter à marine depuis chez soi?

4 participants

Aller en bas

Comment se connecter à marine depuis chez soi? Empty Comment se connecter à marine depuis chez soi?

Message  Skuld Mer 30 Sep - 0:59

Pour ceux que ça intéresserait d'avoir accès à marine, depuis leur chez soi (et qui n'auraient pas encore trouvé), voilà plusieurs petits bijoux.

-MindTerm. Le plus simple et le plus portable, c'est un applet java qui peut se connecter à marine sous ssh.

-->démonstration plus claire que le blabla:
lien pour un mindterm: Lien vers l'applet Mindterm

Comment l'utiliser?
1. entrez l'url de destination: marine.edu.ups-tlse.fr
2. entrez votre login (minfg..)
3. entrez votre mot de passe correspondant.

et voilà! seul inconvénient: vous ne pouvez pas ouvrir de nouvelles fenetres, et donc vous oubliez mozilla, acroread et même nedit. J'ai jamais essayé vi...
Donc il sert à tester des fichiers *.ml avec ocaml, à compiler du *.mll ou du *.c (en prog parallele).

En fait, il fonctionne un peu comme le simplissime putty (sauf qu'il y a aucun dl), et souffre donc des mêmes problèmes. Si vous voulez essayer putty, il s'agit d'un executable qui ne requiert aucune installation, qui peut sauvegarder simplement les url, login et mot de passe (dans un fichier). Vous le trouverez là:
Page de dl de putty

Et le bon côté de cet exécutable, c'est qu'on peut lui permettre d'ouvrir de nouvelles fenêtres au prix d'une install supplémentaire !!
Il suffit d'installer un ensemble de logiciel appelé Cygwin (qui contient entre autres les librairies graphiques de unix/linux portées sous windows).
Installer cygwin
Par contre je vous préviens, l'installation de Cygwin est très longue (en comparaison avec les autres installs actuelles), et nécessite une connexion internet stable tout le long (compter minimum 45 min.).

et là, vous pouvez lancer tout ce que vous lancez avec les terminaux X, sous windows et chez vous!! ^^ et si vous êtes sous linux, y a toute une tripotée de solution bien plus simples et biens connues pour se connecter en ssh...

-FileZilla (ou tout autre client ftp).

Cela peut paraitre à côté de la plaque, en premier lieu, mais un client ftp peut permettre de récupérer des fichiers sous marine, de les modifier chez soi, et de les renvoyer sous marine une fois terminés. Avec Mindterm, j'espère que vous voyez où je veux en venir... on peut faire tous les tps (excepté multi, pour le moment) chez nous...

Alors, je vous conseille Filezilla parce qu'il est gratuit, léger, sympa d'utilisation, et surtout parce qu'il propose une version "clé usb" qui est en fait juste une version binaire, c'est à dire qu'on a pas besoin d'installer ! Juste besoin de le mettre sur une clé usb, et le premier pc qui passe, vous connectez la clé, lancez l'executable, et vous pouvez vous connecter en ftp n'importe où !!
Page Filezilla

Après, la suite marche avec tous les clients ftp ...

On configure le client comme suit:
hôte : marine.edu.ups-tlse.fr
login: minfg_votre_numero
password: votre_password

On fait "connexion", et on peut se balader dans l'arborescence de marine !! (dans la limite des droits, bien entendu.). Du coup, on drag/drop vers un dossier de notre pc, on modifie comme on veut, et on drag/drop dans l'autre sens.

Et ça marche comme sur des roulettes...

---
si vous en avez d'autre, n'hésitez pas à partager!

Skuld
Seeder F5

Messages : 75
Date d'inscription : 18/09/2009

Revenir en haut Aller en bas

Comment se connecter à marine depuis chez soi? Empty cas d'une machine macbook

Message  minfg48 Ven 2 Oct - 1:44

"...et là, vous pouvez lancer tout ce que vous lancez avec les terminaux X, sous windows et chez vous!! ^^ et si vous êtes sous linux, y a toute une tripotée de solution bien plus simples et biens connues pour se connecter en ssh..."

Merci pour les explications, il reste le cas d'une machine macbook qui peut peut être intéressant si vous avez essayer merci de compléter.

--
"J'essaie toujours de faire ce que je ne sais pas faire,
c'est ainsi que j'espère apprendre à le faire."

minfg48
Leecher

Messages : 1
Date d'inscription : 01/10/2009
Age : 40
Localisation : Rangueil

http://derdei.site.voila.fr/index.html

Revenir en haut Aller en bas

Comment se connecter à marine depuis chez soi? Empty Re: Comment se connecter à marine depuis chez soi?

Message  Skuld Ven 2 Oct - 10:32

c'est ben vrai!

donc si un spécialiste des mac a une suggestion, qu'il n'hésite pas.

en attendant, la solution que j'ai donné (Mindterm en applet+client ftp) reste applicable, vu que le java est multi-plateforme, et qu'il existe des client ftp (même sur les mac ^^).

Skuld
Seeder F5

Messages : 75
Date d'inscription : 18/09/2009

Revenir en haut Aller en bas

Comment se connecter à marine depuis chez soi? Empty Re: Comment se connecter à marine depuis chez soi?

Message  minfg86 Mar 6 Oct - 1:40

Sinon y a Xming (entre autres serveurs X) + putty, c'est carrément plus léger, plus rapide, et c'est tout aussi gratuit.

minfg86
Gros seeder

Messages : 18
Date d'inscription : 05/10/2009

Revenir en haut Aller en bas

Comment se connecter à marine depuis chez soi? Empty Re: Comment se connecter à marine depuis chez soi?

Message  _SGF Sam 10 Oct - 2:02

Cygwin aussi pourrait être utile pour ceux qui voudraient travailler sur Unix en local sous windows.

_SGF
Gros seeder

Messages : 12
Date d'inscription : 08/10/2009

Revenir en haut Aller en bas

Comment se connecter à marine depuis chez soi? Empty Re: Comment se connecter à marine depuis chez soi?

Message  Skuld Sam 10 Oct - 23:27

oui, c'est dans cette optique que j'ai voulu en parler ^^" -->1er post
(faut lire les posts en entier... même s'ils sont très longs...
c'était pour dire de raccourcir mes posts, c'est ça? :p)

Skuld
Seeder F5

Messages : 75
Date d'inscription : 18/09/2009

Revenir en haut Aller en bas

Comment se connecter à marine depuis chez soi? Empty Re: Comment se connecter à marine depuis chez soi?

Message  Contenu sponsorisé


Contenu sponsorisé


Revenir en haut Aller en bas

Revenir en haut

- Sujets similaires

 
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum