=== Lisafortonight is now known as Birosso
=== Into_the_Pit is now known as Frickelpit
=== vitus_ is now known as vitus
[13:01] <Felix__> Moin
[13:01] <Felix__> Muss ich auf english fragen?
[13:02] <Frickelpit> das Kürzel -de lässt vermuten, dass hier auch deutsch geschrieben werden kann^^
[13:02] <Felix__> Wenn ich die Backports mit einbinde und dann dist-upgrade mache wird dann der kernel aus den backports mit aktualisiert?
[13:03] <Felix__> ja sorry
[13:03] <Frickelpit> Felix__: alle pakete, die du installiert hast und welche in Backports in einer neueren Version zur Verfügung stehen, werden dabei aktualisiert.
[13:04] <Felix__> ok. Kann ich die backports wieder entfernen und den aktullen kernel einfach wieder installieren?
[13:05] <Frickelpit> hast du denn den Kernel aus dem "normalen" Repo deinstalliert?
[13:05] <Felix__> ne
[13:05] <Frickelpit> wenn nicht, dann ist der eh noch vorhanden
[13:06] <Felix__> hab jetzt den 4.4.0-57-generic ist das der von 16.06?
[13:06] <Frickelpit> dpkg -l linux-image* | grep ii im Terminal zeigt dir die installierten Versionen
[13:06] <Felix__> 16.04 sorry 
[13:08] <Felix__> sagt mal bitte
[13:08] <Frickelpit> http://packages.ubuntu.com/search?suite=xenial-updates&searchon=names&keywords=linux-image
[13:08] <le_bot> Title: Ubuntu – Package Search Results -- linux-image (at packages.ubuntu.com)
[13:09] <Frickelpit> da ist der 4.4.0-57 bei
[13:09] <Felix__> ok. danke
[13:10] <Felix__> und guten rutsch allen
[13:10] <Frickelpit> dito, danke
[14:13] <rhagu> hi, ich habe gerade ein programm kompiliert und die fertigen binaries sind jetzt in ~/programm/run  wie kann ich diese mit dem system verknüpfen, dass ich nicht immer den pfad angeben muss, wenn die programme laufen sollen?
[14:13] <k1l_> pack den ordner in den $PATH oder pack das program in den ordner ~/bin
[14:15] <rhagu> k1l es reicht also alle daten aus run nach /bin zu verschieben?
[14:15] <k1l_> der ordner bin im home wird automatisch in den $PATH eingelesen.
[14:17] <k1l_> nach erneutem einloggen ist der automatisch drin, wenn du den gerde erst erstellt hast
[14:19] <rhagu> ah ok, danke schön
[16:20] <doev> hi.
[16:21] <doev> Ich glaube ich habe hier ein defektes Paket. In minizinc scheint das eigentliche Tools zu fehlen.
[16:21] <doev> /usr/bin/mzn-gecode: 41: /usr/bin/mzn-gecode: minizinc: not found
[16:22] <doev> und jetzt?
[16:22] <jokrebel> und wo ist das Paket her? Hab da nie davon gehört
[16:22] <doev> ist im repo
[16:22] <doev> apt get install minizinc
[16:23] <doev> https://www.howtoinstall.co/en/ubuntu/xenial/minizinc
[16:23] <le_bot> Title: How to install minizinc on Ubuntu 16.04 (Xenial Xerus) (at www.howtoinstall.co)
[16:24] <doev> mich wundert nur, dass ich nichts zu dem Problem bei Google finde.
[16:25] <Rochvellon> kann auch gut möglich sein, dass das Paket nur auf dem Server defekt ist. Hast Du schon mal einen anderen Server ausprobiert?
[16:25] <doev> nein.
[16:25] <jokrebel> a) andere haben dieses Problem nicht b) es nutzt sonst kaum einer c) der Fehler ist neu
[16:26] <doev> um den Server zu wechseln muss ich in die source.lst?
[16:27] <jokrebel> doev: Welche Version hast Du da?
[16:28] <doev> 16.04
[16:28] <doev> wenn ich Vergleiche, dann sieht es bei mir genauso aus: http://packages.ubuntu.com/xenial/amd64/minizinc/filelist
[16:28] <le_bot> Title: Ubuntu – File list of package minizinc/xenial/amd64 (at packages.ubuntu.com)
[16:28] <jokrebel> und die von dem Paket?
[16:28] <Rochvellon> Systemeinstellungen -> Anwendungen und Aktualisieren
[16:29] <Rochvellon> Du kannst latürnich auch direkt in der sources.list den Server editieren
[16:30] <jokrebel> doev: Und wenn Du Dir sicher bist, dass es ein Bug ist, kannst ihn ja hier https://launchpad.net/ubuntu/+source/minizinc/+bugs melden
[16:31] <le_bot> Title: Bugs : minizinc package : Ubuntu (at launchpad.net)
[16:31] <doev> naja, laut diverser Anleitungen muss es denn Befehl minizinc geben.
[16:34] <jokrebel> was sagt denn ein "man minizinc"
[16:35] <doev> nicht vorhanden
[16:37] <doev> aber da ist ein minizinc nach flatzinc übersetzer und flatzinc ist wohl da. evtl. hat sich das geändert.
[16:37] <jokrebel> versuch es mal mit mzn<TAB>
[16:40] <jokrebel> vielleicht hilft ja auch http://www.minizinc.org/downloads/doc-latest/minizinc-tute.pdf weiter
[16:41] <doev> mzn2fz <file.mz> <file.nz> und dann fzn-gecode <file.nz> geht.
[16:41] <doev> ist vllt Absicht, dass minizinc fehlt.
[16:42] <doev> schwer zu sagen.
[16:42] <jokrebel> wie gesagt. Versuch ein "man mzn<TAB> <Enter>"
[16:43] <doev> nix
[16:49] <Lembert> Hallo, ich hab hier UbuntuGnome16.04 und ein Problem beim Zugriff meiner Windows10 Platte, welches ich parallel ab und zu benötige. Wenn ich im Nautilus drauf klicke passiert garnichts. Null. Frühers ging das. Wie löse ich das?
[16:51] <doev> im Archiv vom Hersteller ist alles drin. Nehm ich halt das :)
[16:52] <doev> Lembert, schon mal versucht auf der Kommandozeile zu mounten?
[16:52] <doev> zwecks Fehlermeldung
[16:52] <jokrebel> Lembert: ist denn das Windows "sauber heruntergefahren" oder nur in den "Ruhemodus versetzt"
[16:54] <jokrebel> Lembert: Siehe dazu auch das Achtung! hier https://wiki.ubuntuusers.de/Windows-Partitionen_einbinden/#Windows-Partitionen-einhaengen
[16:54] <le_bot> Title: Windows-Partitionen einbinden › Wiki › ubuntuusers.de (at wiki.ubuntuusers.de)
[16:55] <doev> gut zu wissen
[16:58] <jokrebel> hoffen wir mal, dass er nicht erst Deinen Tipp versucht und dann tatsächlich "schlimmstenfalls können auch unbemerkt Daten korrumpiert werden" verursacht
[16:59] <doev> werde ich bei launchpad.net jetzt zu einem Ubuntu One Akkount gezwungen?
[16:59] <Lembert> jokrebel, ich hab jetzt nochmal windows hochgefahren und komplett runtergefahren, wenn ich jetzt im terminal mounte kommt trotzdem eine "windows is hibernated" meldung
[17:00] <jokrebel> Lembert: Der Link kam noch an bei Dir?
[17:00] <jokrebel> Lembert: Siehe dazu auch das Achtung! hier https://wiki.ubuntuusers.de/Windows-Partitionen_einbinden/#Windows-Partitionen-einhaengen
[17:00] <le_bot> Title: Windows-Partitionen einbinden › Wiki › ubuntuusers.de (at wiki.ubuntuusers.de)
[17:01] <Lembert> ja, ich versteh das schon, ich habs vorhin komplett runtergefahren
[17:02] <jokrebel> auch "muss der Schnellstart in den Energieoptionen abschaltet sein. " befolgt?
[17:02] <Lembert> ja
[17:03] <jokrebel> nach der Änderung ist ggf. doppelter Neustart nötig