Skip to Content.
Sympa Menu

texmacs-users - Re: [TeXmacs] remote file access

Subject: mailing-list for TeXmacs Users

List archive

Re: [TeXmacs] remote file access


Chronological Thread 
  • From: Miguel de Benito Delgado <address@hidden>
  • To: "address@hidden" <address@hidden>
  • Subject: Re: [TeXmacs] remote file access
  • Date: Tue, 4 Mar 2014 16:52:58 +0100

TeXmacs relies on wget to retrieve websites. Is this installed in your newer machines?

Best,

--
Miguel de  Benito.


On Tue, Mar 4, 2014 at 10:25 AM, Julien Frontisi <address@hidden> wrote:
I just tried with three different computers on my home network :
a macbook air and a macbook both under MacOS 10.7.5, a mac mini under MacOS 10.9.2
TeXmacs 1.99.1 on each of them.
Remote <\hlink> only works with the (older) macbook.
Maybe a difference in the network settings, but I cannot find out what it is...
Julien


Le 2 mars 2014 à 23:34, Joris van der Hoeven <address@hidden> a écrit :

> On Sun, Mar 02, 2014 at 10:10:03PM +0100, Julien Frontisi wrote:
>>> Be careful, it should be:
>>>
>>>   <\hlink|texmacs|http://texmacs.org/tmweb/home/welcome.en.html>
>>>
>>> Hyperlinks are sensitive to whitespace.
>> Yes, I just added the spaces for better readability on the mail.
>>
>>>> 2) Is there any other way to try to open a remote file than to create a hlink pointing to it in another document ?
>>>> You once showed me a version of texmacs where "File -> Open" would give access to a textarea in the statusbar, that
>>>> you could fill with any filename, local or not. For me, "Open" only gives access to local files.
>>>
>>> With the Emacs look and feel, you may use C-x C-f.
>> I just tried and the answer is the same : "the file http://pc1sl.free.fr/pc1/maths/cours/C01.suites.tm cannot be loaded or created"
>
> This is strange; I just tried your file with the current SVN version,
> and everything works fine.  Which version of TeXmacs do you use?
> In any case, it seems that the bug has been fixed...
>
> Best wishes, --Joris





Archive powered by MHonArc 2.6.19.

Top of Page