Search found 15 matches

by Giorgio
Tue Apr 23, 2019 4:35 pm
Forum: Software & Applications
Topic: TeXmacs installation
Replies: 0
Views: 117

TeXmacs installation

I downloaded TeXmacs for Ubuntu 18.04 from http://www.texmacs.org/tmweb/download/linux-packages.en.html#ubuntu but installation don't works. Here's what I get in console: $ sudo dpkg -i ./TeXmacs-1.99.9.amd64.deb Selezionato il pacchetto texmacs non precedentemente selezionato. (Lettura del database...
by Giorgio
Tue Feb 12, 2019 9:48 am
Forum: Software & Applications
Topic: applications don't start after installing Pinguino IDE [Solved]
Replies: 3
Views: 184

Re: applications don't start after installing Pinguino IDE

sudo mv /etc/ld.so.conf.d/pinguino.conf ~/pinguino.conf this command moved "pinguino.conf" file from /etc/ld.so.conf.d/ to my home directory but application still don't worked (you might also need to run sudo ldconfig afterwards...) after running this command LO and FF works normally. Thanks a lot.
by Giorgio
Mon Feb 11, 2019 5:55 am
Forum: Software & Applications
Topic: applications don't start after installing Pinguino IDE [Solved]
Replies: 3
Views: 184

applications don't start after installing Pinguino IDE [Solved]

After installing Pinguino IDE (Integrated Development Environment for microcontroller) several application don't start anymore. Two examples are LibreOffice and Firefox, trying to open using terminal I get: ~$ soffice /usr/lib/libreoffice/program/soffice.bin: /opt/pinguino/p32/bin/libstdc++.so.6: ve...
by Giorgio
Sun Feb 10, 2019 5:50 am
Forum: Italiano (Italian)
Topic: software bloccati dopo installazione Pinguino
Replies: 0
Views: 160

software bloccati dopo installazione Pinguino

Ho installato in Linux Mint 19 Cinammon l'IDE Pinguino (ambiente di sviluppo per microcontrollori) che non funziona, almeno per il momento, e quel che è peggio temo sia all'origine del malfunzionamento di diversi software. Ad esempio LibreOffice e Firefox non si aprono più, provando con il comando d...
by Giorgio
Sun Feb 10, 2019 5:23 am
Forum: Italiano (Italian)
Topic: ubuntu mint 19.1 non funziona il wifi
Replies: 1
Views: 734

Re: ubuntu mint 19.1 non funziona il wifi

Proverei prima di tutto a verificare che il wireless sia riconosciuto dal sistema operativo. Io conosco un paio di modi per farlo: 1) dal terminale dai il comando inxi -Fx che ritorna un elenco dell'hardware a colori. Dovresti cercare la parte che riguarda la rete (Network) e trovare una o più righe...
by Giorgio
Mon Oct 16, 2017 10:03 am
Forum: Installation & Boot
Topic: Windows 10 not detected in dual boot
Replies: 5
Views: 444

Re: Windows 10 not detected in dual boot

@ Giorgio, ....... For some guidance on dual-booting LM alongside UEFI Win 10/8.1, please refer to ....... Very interesting links. I will read carefully. But it seems concerning installation. I've already installed now I need a working bootloader. They will be very useful instead in future installa...
by Giorgio
Mon Oct 16, 2017 9:55 am
Forum: Installation & Boot
Topic: Windows 10 not detected in dual boot
Replies: 5
Views: 444

Re: Windows 10 not detected in dual boot

You shouldn't need Grub-customizer. I know but for me it was the easiest way to list all detected os. Did you run, from terminal? sudo update-grub $ sudo update-grub > grub_1 Generating grub configuration file ... Attenzione: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set ...
by Giorgio
Sun Oct 15, 2017 4:48 am
Forum: Installation & Boot
Topic: Windows 10 not detected in dual boot
Replies: 5
Views: 444

Windows 10 not detected in dual boot

Installed Mint in dual boot system with Windows 10. At boot Mint start immediately, installed Grub-customizer and searching for operating systems installed I see Mint only.
The only way to boot Windows is editing bios.

Mint 18.2 64 bit, KDE, hard disk GPT/UEFI.
by Giorgio
Fri Oct 13, 2017 2:03 pm
Forum: Italiano (Italian)
Topic: Windows non rilevato in dual boot
Replies: 0
Views: 259

Windows non rilevato in dual boot

Ho installato Mint 18.2 in un pc con Windows 10 ma non compare la schermata del bootloader e parte immediatamente Mint. Per cercare di modificare l'ordine di boot ho anche installato Grub-customizer in cui ho fatto partire la ricerca dei sistemi operativi ma Windows non compare. Il solo modo per far...
by Giorgio
Fri Feb 10, 2017 8:12 am
Forum: Software & Applications
Topic: Synaptic Package Manager: proxy settings not saved
Replies: 8
Views: 778

Re: Synaptic Package Manager: proxy settings not saved

Openening Synaptic with "kdesudo synaptic" -> checking “Direct connection to the Internet” -> using my mobile phone as modem (tethering) I can install packages. Then it seems that Synaptic works in some way opening it with "kdesudo synaptic". But no way to retain “Manual proxy configuration” nor wor...
by Giorgio
Fri Feb 10, 2017 6:42 am
Forum: Software & Applications
Topic: Synaptic Package Manager: proxy settings not saved
Replies: 8
Views: 778

Re: Synaptic Package Manager: proxy settings not saved

If you launch kdesudo synaptic user root's profile should be used instead. Here's the result in konsole $ kdesudo synaptic (synaptic:2229): Gtk-CRITICAL **: gtk_widget_hide: assertion 'GTK_IS_WIDGET (widget)' failed but unfortunately nothing change. Note that I open Synaptic Package Manager from me...
by Giorgio
Thu Feb 09, 2017 8:34 am
Forum: Software & Applications
Topic: Synaptic Package Manager: proxy settings not saved
Replies: 8
Views: 778

Re: Synaptic Package Manager: proxy settings not saved

To exclude proxy I tried to check “Direct connection to the Internet" in Synaptic Package Manager and used my mobile phone as modem.
But still no way to download and install any package.
by Giorgio
Wed Feb 08, 2017 4:47 pm
Forum: Software & Applications
Topic: Synaptic Package Manager: proxy settings not saved
Replies: 8
Views: 778

Re: Synaptic Package Manager: proxy settings not saved

I assume that you will have to tell Dolphin to display hidden files and folders (the ones where the names start with a dot) in order to see the folder /root/.synaptic. And Dolphin would have to be launched with root permissions as well, because only root may inspect the content of user root's home ...
by Giorgio
Wed Feb 08, 2017 8:54 am
Forum: Software & Applications
Topic: Synaptic Package Manager: proxy settings not saved
Replies: 8
Views: 778

Re: Synaptic Package Manager: proxy settings not saved

On KDE the command will be kdesudo kate /root/.synaptic/synaptic.conf , I assume. Command line works, even if in Dolphin I don't see /root/.synaptic/. These are last rows of synaptic.conf that seems correct. But in Synaptic Package Manager I find “Direct connection to the Internet" checked instead ...
by Giorgio
Wed Feb 08, 2017 6:43 am
Forum: Software & Applications
Topic: Synaptic Package Manager: proxy settings not saved
Replies: 8
Views: 778

Synaptic Package Manager: proxy settings not saved

In my Linux Mint KDE 18.1 64 bit Software manager and Synaptic Package Manager don't download nor install any package, I suspect because of proxy settings, and give these error messages: Synaptic Package Manager: W: Failed to fetch http://packages.linuxmint.com/pool/upstream/f/firefox/firefox-locale...

Go to advanced search