Re: [sage-support] how to specify a port when running jupyter notebook

2019-02-04 Thread Eric Gourgoulhon
Le lundi 4 février 2019 11:16:24 UTC+1, John Cremona a écrit :
>
>
> Although this is obviously a jupyter thing and note a sage specific thing, 
> I think it would be helpful to have this somewhere in the Sage 
> documentation (I could not find it) and also visible in the "sage -h" 
> output.
>

It is visible by
sage -n jupyter -h
or equivalently
sage -n jupyter --help
I agree it would be better to have a link from both "sage -h" and "sage -n 
-h", or at least a setence like 
run "sage -n jupyter -h" for all options relative to the Jupyter notebook.

Eric.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.


Re: [sage-support] how to specify a port when running jupyter notebook

2019-02-04 Thread John Cremona
On Mon, 4 Feb 2019 at 10:01, Jan Groenewald  wrote:

> Hi
>
> On Mon, 4 Feb 2019 at 11:58, J E Cremona 
> wrote:
>
>> Is it possible to specify which port the jupyter notebook server runs
>> on?  I think the default is , but sometimes a different one is used
>> (e.g.8889 if  is in use).  I am running on a remote server so that
>> other users may already be doing something on the default port.  In order
>> to view the notebooks on my local machine's browser I use ssh-tunnelling
>> and like to have the port numbers fixed in my ~/.ssh/config file.  This is
>> awkward if I do not know in advance which port will be used.
>>
>>
>
> https://jupyter.readthedocs.io/en/latest/running.html#how-do-i-start-the-notebook-using-a-custom-ip-or-port
>

Thanks:  I can confirm that adding --port=8889  to the command line (after
sage -notebook=jupyter) does exactly what I needed.

Although this is obviously a jupyter thing and note a sage specific thing,
I think it would be helpful to have this somewhere in the Sage
documentation (I could not find it) and also visible in the "sage -h"
output.

John


>
> Regards,
> Jan
>
>
> --
>   .~.
>   /V\ Jan Groenewald
>  /( )\www.aims.ac.za
>  ^^-^^
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-support" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-support+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-support@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-support.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.


Re: [sage-support] how to specify a port when running jupyter notebook

2019-02-04 Thread Jan Groenewald
Hi

On Mon, 4 Feb 2019 at 11:58, J E Cremona  wrote:

> Is it possible to specify which port the jupyter notebook server runs on?
> I think the default is , but sometimes a different one is used
> (e.g.8889 if  is in use).  I am running on a remote server so that
> other users may already be doing something on the default port.  In order
> to view the notebooks on my local machine's browser I use ssh-tunnelling
> and like to have the port numbers fixed in my ~/.ssh/config file.  This is
> awkward if I do not know in advance which port will be used.
>
>
https://jupyter.readthedocs.io/en/latest/running.html#how-do-i-start-the-notebook-using-a-custom-ip-or-port

Regards,
Jan


--
  .~.
  /V\ Jan Groenewald
 /( )\www.aims.ac.za
 ^^-^^

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.


[sage-support] how to specify a port when running jupyter notebook

2019-02-04 Thread J E Cremona
Is it possible to specify which port the jupyter notebook server runs on?
I think the default is , but sometimes a different one is used
(e.g.8889 if  is in use).  I am running on a remote server so that
other users may already be doing something on the default port.  In order
to view the notebooks on my local machine's browser I use ssh-tunnelling
and like to have the port numbers fixed in my ~/.ssh/config file.  This is
awkward if I do not know in advance which port will be used.

John Cremona


-- 
Prof J E Cremona
Warwick Mathematics Institute
University of Warwick
http://www2.warwick.ac.uk/fac/sci/maths/people/staff/john_cremona/

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.