> In this regard I wanted to ask the following: > > (1) If I use the command line > > apt update > apt upgrade > > will the system proceed on its own to download possibly > hundreds of megabytes (or even gigabytes) of upgraded > packages without asking me first? >
Not at all. Look at the following (live) example: ~$ sudo apt update [sudo] password for kfp: Hit:1 http://ch.archive.ubuntu.com/ubuntu xenial InRelease Get:2 http://ch.archive.ubuntu.com/ubuntu xenial-updates InRelease [102 kB] ... ... Fetched 1'891 kB in 2s (790 kB/s) Reading package lists... Done Building dependency tree Reading state information... Done 5 packages can be upgraded. Run 'apt list --upgradable' to see them. ~$ sudo apt upgrade Reading package lists... Done Building dependency tree Reading state information... Done Calculating upgrade... Done The following packages were automatically installed and are no longer required: libpango1.0-0 libpangox-1.0-0 libraptor1 linux-headers-4.4.0-47 linux-headers-4.4.0-47-generic linux-headers-4.4.0-51 linux-headers-4.4.0-51-generic linux-headers-4.4.0-53 linux-headers-4.4.0-53-generic linux-headers-4.4.0-57 linux-headers-4.4.0-57-generic linux-headers-4.4.0-59 linux-headers-4.4.0-59-generic linux-headers-4.4.0-62 linux-headers-4.4.0-62-generic linux-image-4.4.0-47-generic linux-image-4.4.0-51-generic linux-image-4.4.0-53-generic linux-image-4.4.0-57-generic linux-image-4.4.0-59-generic linux-image-4.4.0-62-generic linux-image-extra-4.4.0-47-generic linux-image-extra-4.4.0-51-generic linux-image-extra-4.4.0-53-generic linux-image-extra-4.4.0-57-generic linux-image-extra-4.4.0-59-generic linux-image-extra-4.4.0-62-generic ubuntu-core-launcher Use 'sudo apt autoremove' to remove them. The following packages will be upgraded: iio-sensor-proxy libgd3 libtiff5 nano xserver-xorg-video-amdgpu 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 538 kB of archives. After this operation, 18.4 kB of additional disk space will be used. Do you want to continue? [Y/n] > > (2) Is there a way I can do the above by using the > synaptic package manager GUI and somehow select which > upgraded packages I want to download? > > Yes, of course. Usually the "Software Updater" will appear to remind you that updates are available. Note the different types of upgrade: http://askubuntu.com/questions/605719/the-difference-between-the-different-apt-upgrade-commands > > Another alternative would be for somebody to put the > > constructed fricas deb package on a website link > > and for interested users to download it from there. > > %The official tar.bz2 is really easy to install, I mean it makes no sense > to > %download a *.deb file from a website. IMO it will make sense only if > Fricas can > %be installed by "sudo apt install fricas" (including removal/update). > %Let's think about it (how, who and when?) > > Yes, this is the best case, and I wanted to actually > suggest this. I think that there are deb packages > for axiom and openaxiom listed in the synaptic package > manager. > > I assume that the fricas deb package will have to be > added to the ubuntu 14.04/16.04/etc repositories? > > Just to be clear. Assume I use the following command > you provided to create the fricas deb package > fricas-1.3.1.deb: > > fpm -s tar -t deb -n fricas -v 1.3.1 fricas-1.3.1.tar.bz2 > > I then install the created deb package by using the following > command: > > sudo apt-get install fricas-1.3.1.deb > > Is this correct? > Local installs can be done by the "dpkg" command (for more info do a $ man dpkg) as Grégory already pointed out. Of course, you also could add a local directory to the "sources.list" if you prefer using "apt" (but nobody will do this without cause). If we placed a fricas.deb on a website it would make sense to update the "apt sources.list", however, it's certainly inconvenient when the user has to edit files before installation (even the README is hardly ever read a.e. ;). If providing a *.deb at all then it should be in the official repos of some linux distros (in my view). Regarding apt vs. apt-get there is some confusion: http://askubuntu.com/questions/829864/is-apt-get-deprecated I use apt on 16.04 and apt-get on 14.04 (some people say that apt-get is deprecated since version 15. I don't know for sure). Greetings Kurt > > > Regards, > Constantine. > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
