Re: [sage-support] sage dev in /usr for ubuntu

2019-03-17 Thread henri.gir...@gmail.com 
 Thanks, but I solve this by doing a link, I read the doc on 
debian.org, but it's too complicated for what I am doing... Once I have 
done ( https://github.com/aishenri/zip )


visualino_0.7.2-fr-_amd64.deb 



because I converted it in french, very easy, but it's not a real debian, 
no name of maintener, I only want to make sage deb for me to get the 
latest from my sources compilation. Sorry my english is not very good.


Henri

Le 17/03/2019 à 08:43, Vincent Delecroix a écrit :

Le 17/03/2019 à 00:27, henri.gir...@gmail.com a écrit :
My real question is how to make a deb without all this question about 
proprietary software.


I can not understand your real question. What do you mean by
"make a deb"? You mean a Debian package? For that there is the
documentation on debian.org. Then I have no idea what do you mean
"this question about proprietary software".



--
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] sage dev in /usr for ubuntu

2019-03-17 Thread Vincent Delecroix 

Le 17/03/2019 à 00:27, henri.gir...@gmail.com a écrit :
My real question is how to make a deb without all this question about 
proprietary software.


I can not understand your real question. What do you mean by
"make a deb"? You mean a Debian package? For that there is the
documentation on debian.org. Then I have no idea what do you mean
"this question about proprietary software".

--
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] sage dev in /usr for ubuntu

2019-03-16 Thread henri.gir...@gmail.com 
Thank you. I don't like to use /opt. My real question is how to make a 
deb without all this question about proprietary software. Ubuntu has 
sagemath 8.1 in path /usr/lib/sagemath, but sometimes I run my ipynb, by 
clicking on its name, and I thaught it would run sage-8.6 but therefore 
I need to create a link, that's what I will do and uninstall sagemath-8.1


Henri

Le 16/03/2019 à 20:23, Vincent Delecroix a écrit :

Hi,

Unless your Linux distribution is very permissive you should never
access the /usr repo in write mode. The standard place to install
your custom softwares is /opt [1].

 [1] https://en.wikipedia.org/wiki/Filesystem_Hierarchy_Standard

Vincent

Le 16/03/2019 à 19:27, HG a écrit :

Hi,
I have ubuntu 18.04 with sagemath-8.1, I use sagemath-8.6 (this one 
is call
from its dir) and I compiled dev sage 8.7, i don't need 3 sage, i 
only want

sage dev ans I wonder if I install it as a normal programm /usr after
./configure --prefix=/usr make and make install if it could work ?
I have no risk on my pc if it's mess I just reinstall a fresh one.
Henri





--
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] sage dev in /usr for ubuntu

2019-03-16 Thread Vincent Delecroix 

Hi,

Unless your Linux distribution is very permissive you should never
access the /usr repo in write mode. The standard place to install
your custom softwares is /opt [1].

 [1] https://en.wikipedia.org/wiki/Filesystem_Hierarchy_Standard

Vincent

Le 16/03/2019 à 19:27, HG a écrit :

Hi,
I have ubuntu 18.04 with sagemath-8.1, I use sagemath-8.6 (this one is call
from its dir) and I compiled dev sage 8.7, i don't need 3 sage, i only want
sage dev ans I wonder if I install it as a normal programm /usr after
./configure --prefix=/usr make and make install if it could work ?
I have no risk on my pc if it's mess I just reinstall a fresh one.
Henri



--
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] sage dev in /usr for ubuntu

2019-03-16 Thread HG 
Hi,
I have ubuntu 18.04 with sagemath-8.1, I use sagemath-8.6 (this one is call 
from its dir) and I compiled dev sage 8.7, i don't need 3 sage, i only want 
sage dev ans I wonder if I install it as a normal programm /usr after 
./configure --prefix=/usr make and make install if it could work ?
I have no risk on my pc if it's mess I just reinstall a fresh one.
Henri

-- 
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.