Quantcast

Fwd: Sauvegarde d'un playground sous pharo 5.0

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Fwd: Sauvegarde d'un playground sous pharo 5.0

Rene Mages
Bonjour,

A l'aide du menu d'un playground de Pharo il est très simple par
exemple de changer le titre du playground :
  http://ramix.org/MoocPharo/playground.png

Question : comment procéder (autrement que par un copier-coller dans
un fichier) pour sauvegarder dans un fichier texte le contenu du
playground?

Il est fort probable que ce n'est pas bien dans l'esprit de Pharo de
sauvegarder des contenus de playgrounds mais je reste très attaché à
l'esprit des workspaces ...

--
Merci.
Rene Mages ( GnuPG_key 1024D/2CC455D9 )
http://www.linux-azur.org/ramix

--
Vous recevez ce message, car vous êtes abonné au groupe Google Groupes Smalltalk-fr.
Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le concernant, envoyez un e-mail à l'adresse [hidden email].
Pour plus d'options, visitez le site https://groups.google.com/d/optout .
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: Sauvegarde d'un playground sous pharo 5.0

SergeStinckwich
Bonjour René,

tu as un bouton "remote publish" en haut à droite du Playground pour faire cela.
A+

2016-05-24 9:08 GMT+01:00 Rene Mages (ramix) <[hidden email]>:

> Bonjour,
>
> A l'aide du menu d'un playground de Pharo il est très simple par
> exemple de changer le titre du playground :
>   http://ramix.org/MoocPharo/playground.png
>
> Question : comment procéder (autrement que par un copier-coller dans
> un fichier) pour sauvegarder dans un fichier texte le contenu du
> playground?
>
> Il est fort probable que ce n'est pas bien dans l'esprit de Pharo de
> sauvegarder des contenus de playgrounds mais je reste très attaché à
> l'esprit des workspaces ...
>
> --
> Merci.
> Rene Mages ( GnuPG_key 1024D/2CC455D9 )
> http://www.linux-azur.org/ramix
>
> --
> Vous recevez ce message, car vous êtes abonné au groupe Google Groupes Smalltalk-fr.
> Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le concernant, envoyez un e-mail à l'adresse [hidden email].
> Pour plus d'options, visitez le site https://groups.google.com/d/optout .



--
Serge Stinckwich
UCBN & UMI UMMISCO 209 (IRD/UPMC)
Every DSL ends up being Smalltalk
http://www.doesnotunderstand.org/

--
Vous recevez ce message, car vous êtes abonné au groupe Google Groupes Smalltalk-fr.
Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le concernant, envoyez un e-mail à l'adresse [hidden email].
Pour plus d'options, visitez le site https://groups.google.com/d/optout .
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: Sauvegarde d'un playground sous pharo 5.0

Rene Mages (ramix)
Le 24 mai 2016 à 10:12, Serge Stinckwich <[hidden email]> a écrit :
> Bonjour René,
>
> tu as un bouton "remote publish" en haut à droite du Playground pour faire cela.

Merci Serge.

J'avais utilisé ce bouton mais il conduit à une sauvegarde qui n'est pas locale.
Comme tu le devines je ne souhaite pas que mes "drafts" soient
archivés systématiquement dans le "cloud" et pas seulement pour des
raisons écologiques ;-)

>> A l'aide du menu d'un playground de Pharo il est très simple par
>> exemple de changer le titre du playground :
>>   http://ramix.org/MoocPharo/playground.png
>>
>> Question : comment procéder (autrement que par un copier-coller dans
>> un fichier) pour sauvegarder dans un fichier texte le contenu du
>> playground?
>>
>> Il est fort probable que ce n'est pas bien dans l'esprit de Pharo de
>> sauvegarder des contenus de playgrounds mais je reste très attaché à
>> l'esprit des workspaces ...
>>
>> --
>> Merci.
>> Rene Mages ( GnuPG_key 1024D/2CC455D9 )
>> http://www.linux-azur.org/ramix

--
Vous recevez ce message, car vous êtes abonné au groupe Google Groupes Smalltalk-fr.
Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le concernant, envoyez un e-mail à l'adresse [hidden email].
Pour plus d'options, visitez le site https://groups.google.com/d/optout .
Loading...