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

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

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

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

[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