[00:01] octav1a: If the PSU has a lot of things connected, maybe disconnect something non essential like a floppy drive [00:31] genii / Sven_vB -- Indeed, the issue appears to be a bad SATA data cable :/ [00:40] In Ubuntu focal, is /usr/bin/pavucontrol from pavucontrol 4.0-1build1 somehow patched/different from the original PulseAudio's version? [00:43] Sven_vB: you can grab the sources with apt-get source pavucontrol or if your deb-src lines aren't set up, grab it from https://launchpad.net/ubuntu/+source/pavucontrol/4.0-1build1 [00:45] sarnold, thanks! [00:56] greetings, i'm at wits end. my lubuntu boots to what looks like a frozen verbose startup, but ctl alt f2 gives me a successful login, startx gives me a cannot connect to x server no protocol specified, but sudo startx works, but gives me a strange looking lxqt desktop [00:56] any ideas how to get a normal GUI login? [00:57] maybe try reistalling lightdm? [00:58] sudo apt install --reinstall lightdm? [01:00] !xhangs | chef_trip: Try this instead.. [01:00] chef_trip: Try this instead..: If the GUI hangs after logging in, use to switch to text mode. Log in and do: rm .{X,ICE}authority [01:02] Also, running the desktop environment as root but using your own home directory, you probably have screwed up the permissions of the latter. [01:02] ubottu, can i do that from the root gui? [01:02] chef_trip: I am only a bot, please don't think I'm intelligent :) [01:03] can i do that from the root gui? [01:03] krytarik: oh, good call. using sudo startx has a very good chance of scribbling over all kinds of important files [01:03] yikes [01:03] root gui?? [01:04] so, i should log out asap and tty instead? [01:04] yeah, check the ownership of all the files in your home directory, ls -la would be a good start [01:04] you might need to look deeper, too [01:05] i already changed the ugly theme which hurt my eyes, should i try to revert it to the ugly harsh theme before logging out? [01:05] probably doesn't matter much [01:06] ugh, what about if i just do another reinstall? would the home directory still have messed up permissions? [01:06] sarnold, should i ls -la while in the root gui or get out? [01:06] why as root? [01:07] it was the only way to startx [01:07] startx returned a... [01:07] greetings, i'm at wits end. my lubuntu boots to what looks like a frozen verbose startup, but ctl alt f2 gives me a successful login, startx gives me a cannot connect to x server no protocol specified, but sudo startx works [01:08] umm, ls -la i really can't make sense of the output, that's way above me [01:10] !pastebinit [01:10] pastebinit is the command-line equivalent of !pastebin - Command output, or other text can be redirected to pastebinit, which then reports an URL containing the output - To use pastebinit, install the « pastebinit » package from a package manager - Simple usage: command | pastebinit [01:10] rm .{X,ICE}authority no such file or directory [01:10] should i type one of the x or ICE within the brackets? [01:11] Well, it should work as it is, provided you are at the top of your home directory. [01:32] I discovered a simple solution for my pavucontrol problem from earlier: I just have to launch it with the DBUS_SESSION_BUS_ADDRESS environment variable empty or unset. [01:32] Sven_vB: oh *strange* [01:32] Sven_vB: does it actually work to control pulseaudio in that case? [01:33] yes. I'm able to change headset volume at least, and it shows VU meter for the headset flickering realistically. [01:33] nice, thanks for reporting back [01:34] in #pulseaudio the odd behavior was seen as an Ubuntu-specific bug [01:35] I had tried to compile original pavucontrol to compare, but got stuck at http://paste.debian.net/plainh/b9a60388 [01:36] https://twitter.com/JakeLobin/status/1358832403943477254 .. and China did not create Covid-19 .. [01:36] oops wrong channel [01:38] i wish twitter would collapse [01:39] InZaneGamer84: oerheks admitted making a mistake. Please stay on topic here [01:39] leftyfb: sure :-) [01:44] Hello the friendly dudes of ubuntu [01:45] I am using 20.034 but also kubuntu-desktop instead of regular buntu [01:45] I am trying to figure out how to adjust a microphone gain volume [01:45] When I talk into audacity, even next to mouth, it is very little volume [01:45] Which is a program to make mic more louder for pickup [01:46] This is a NEEWER mic, jacks into sound card mic in port, and has a 48w phantom power supply, not usb, no drivers needed. [01:46] Hash: pavucontrol? [01:46] I have pavu control open [01:46] sorry pavucontrol-qt is the one that opened [01:46] Now where is the option to make the mic gain more? [01:47] I checked out all the tabs [01:47] Sven_vB: ^^ hah apparently there's a pavucontrol-qt too [01:47] yes [01:47] Ok it showed up this time [01:47] I see the mic I can select it [01:47] I disabled the webcam internal mic and make this default only [01:48] I found another solution that requires less modification on my scripts: printf >/usr/local/bin/pavucontrol '%s\n' '#!/bin/sh' 'export DBUS_SESSION_BUS_ADDRESS=; exec /usr/bin/pavucontrol "$@"; exit $?' # then chmod a+x [01:48] Ok now I see a bar [01:48] Mic is now 100% 0.00db gain [01:48] It was by default -50.0 db [01:49] How come ubuntu default is so low?! [01:49] You guys should increase it to 100%/0.0 db gain [01:49] You know, normal. :D [01:49] DOes one really use a mic with 10% gain? [01:49] Yes [01:49] I mean I read wrong [01:49] I read you said 100%. I dunno abotu 10% [01:49] c/100% [01:50] I don't even think it's usable at 10% [01:50] one zero more [01:50] so my dyslexia was correct [01:50] so I use it at 100% [01:50] I dunno. [01:50] it is like volume @ 100%, it is too much. [01:51] https://www.youtube.com/watch?v=j7eTUtdAyaI&feature=youtu.be [01:51] 100% mic gain [01:51] How does this sound? [01:51] for some reason ubuntu @ 100 is wayyyy louder than win10 @ 100 [01:51] Mic is about 1-2 feet away from amp [01:51] It's a 15W marshall amp [01:51] What do you think? [01:51] what application is using the mic? [01:51] some of my USB microphones send amazingly loud signal, too [01:51] skype has some weird autovolume [01:51] Well, this is not USB. This is directly into the mic port in the sound card [01:52] I went this way becuase if I Wanted to upgrade my mic, if I went usb, I'd have to buy a whole new mic [01:52] And USB mics have pre amp, amp, and all the electronics built into one package. [01:52] I dislike this option. [01:52] I went with a entry level studio mic, separate power supply, and no usb interface [01:52] Hash: out of my laptop speakers, seems about right [01:52] This way, if I Want to upgrade my mic later, I can just buy better quality studio mic [01:53] I almost never use those so it's hard to give concrete advice [01:53] I don't have to rebuy a pre amp or anythign else. [01:53] Yeah, most people get sold on usb mics [01:53] Marketing. I was never sold by marketing since I Was a kid. [01:53] No toys, nothing. [01:53] My brain is nice. [01:53] easy on the enter, thanks [01:54] oerheks: that's the quickest way to make someone ignore you. [01:54] Good bye. [01:58] sarnold: I found no clipping to occur at 100% 0.0db gain. I did find clipping at 110% [01:58] Seems like 100% is good. [02:01] nice nice === zbenjamin_ is now known as zbenjamin === Diogo9 is now known as Diogo [02:29] are there alot of ubuntu users that come in here trying to get assistance in setting up "auto-mount" by adding an UUID entry to fstab? [02:29] would it be worth it to code a python script that automates this process? I know python... [02:30] im in the buntu installer [02:30] and it says new partition table [02:30] what kind of partition table does it make? [02:30] and perhaps more importantly, why doesnt it tell you? [02:31] doesn't it? [02:31] i dont see any mention of it anywhere [02:31] paste a screenie [02:31] when i create a new partition i am asked if i want it to be primary or logical, so i guess its mbr? [02:31] yeah [02:31] im not sure how id get it here, this is on another computer [02:32] are you in the graphical installer? [02:32] yeah [02:32] i am also not sure how i can get it to create a gpt partition since i intend to use efi [02:32] i'm pretty damn sure it notifies you of the type of partition table that will be created. [02:34] well, it didnt for me, so either it was supposed to and didnt, or it wasnt supposed to [02:34] i've never heard of such [02:34] and i've done ALOT of ubuntu installs [02:35] if fact, if you're patient. i'll spin up a vm, run the installer and show you [02:35] i will be very surprised if your experience is different than mine [02:35] ornxka_: give me a few [02:35] https://ubuntu.com/download/desktop/thank-you?version=20.04.2&architecture=amd64 that is the version i just downloaded [02:36] yeah that's what im booting now [02:40] i had to reboot it because i didn't have a hdd attached. almost there [02:44] ornxka_: what the hell [02:44] perhaps this is a recent change? [02:44] if so it's a lame change. let me go into the live system and run the installer. I swear i remember see it. hold on === de-facto_ is now known as de-facto [02:46] i had to turn on EFI for the VM. think i'm good now and will see it [02:51] so far I don't see it... [02:51] distressing [02:52] my condolences [02:52] lol [02:53] i guess ubuntu is trying to emulate M$ [02:53] now I have to know what's going on [02:54] how deep does this go?? [02:54] Why doesn't the Ubuntu Installer inform the user of the partition type or allow the user to pick between MBR/GPT?It seems to be MBR by default? [02:54] ornxka_: did you boot with secure boot on? [02:54] or off? [02:55] i can only assume the answer is something along the lines of "big words like partition tables are scary so we will just get rid of them" [02:55] its a macbook pro [02:55] so there is no secureboot that i am aware of [02:55] whats more, the disk was EFI, and when i made a new partition table, it was MBR [02:55] i dont think this machine will even boot MBR [02:56] I wonder what the deal is [02:58] ornxka_: look https://askubuntu.com/questions/1296257/installing-lubuntu-20-04-with-gpt-and-efi [02:58] I booted in efi and it was doing MBR.... [02:58] this sounds like an actual bug [02:59] i just read virtualbox doesn't support UEFI boot [02:59] so that may be why I didn't see it [02:59] or is it? [02:59] aren't EFI/UEFI same? [03:09] i'm in the uefi shell on the vm now. gonna figure this out [03:15] ornxka_: i've got it [03:15] ornxka_: boot into the live system. Click "try ubuntu" and use GParted to created the GPT partiton table [03:15] ahhh [03:16] :-) [03:16] i don't know what's up with the freaking installer [03:16] why doesn't it call gparted anyway [03:17] instead it's that lame simple interface to I don't what for partitioning... [03:37] ornxka_: you get it installed? all set? === pikapika_lunar_a is now known as pikapika [04:04] hooray i finally got it all booting [04:09] ornxka_: great [04:19] would gparted of been installed if I wouldn't of selected a 'minimal' installation? === Koopzington is now known as Koopz [05:32] Sup. [05:32] I have an external monitor. How can I control brightness without setting it on the screen's buttons? [05:33] If I adjust brightness on my laptop's keyboard, it only sets the laptop screen brightness and not the external display. [05:33] On Ubuntu Studio 20.04. [05:44] zmagii: xrandr --output [display-name] --brightness [value] [05:44] zmagii: you can get the display name by running xrandr without any arguments [05:48] humachine: Thanks === nckx[2] is now known as nckx === PowerTower_121 is now known as PowerTower_120 [07:10] guys could you pls suggest me a good Wifi PCI card which is compatibly (i mean) working good with ubuntu [07:35] Milencho: anything from intel should be fine [07:36] could you pls suggest one (link) my MB is AMD MSI B550 if there is any difference [07:42] Hi. Is it possible to create a file that cant be deleted by rm? [07:42] yes [07:42] How would I create this file? [07:42] One sec it's in my desk drawer in the other side [07:42] Oh haha [07:43] :P [07:43] TP Link, Milencho [07:43] Milencho: The TP Link 150Mbps TL WN722N [07:43] IT has a sticker on the box that says 'Linux Support' [07:43] Hash, this is not PCI-E [07:43] I use it in my Ubuntu 18 and 20 machine [07:43] The one I mentioned is a USB stick with antenna [07:44] Milencho: that motherboard seems to have a PCI-E slot. just make sure whatever wifi card you get is PCI-E [07:44] Does that work for you? [07:44] Oh I'm sorry I mistead. [07:44] it's an USB stick ? i have already one, but for some reason connection is bad [07:44] You said PCI specificaly. [07:44] it's working out of the box i mean there are drivers in the kernel [07:44] I mean PCI vs USB 3 won't matter as much. [07:44] but i'm not satisfy as wifi dongle [07:44] You won't saturate the max bandwidth, at all. [07:44] What matters is the antenna and catching a good strong signal [07:45] are you using some special drivers not these one in the kernel? [07:45] Nope [07:45] Just default ubuntu [07:45] which version is your tp-link i think the first one was with Atheros chipset but the next v 2.3.4 are with rtl [07:46] Hmm. [07:46] One second I will have to insert it into the pc [07:46] in my case the signal is not the problem because the wifi router is 3-4 meters from the box [07:47] but for some reason net/speed/connection is horrible [07:47] I'm pretty sure this is 150mbps so it's usb3 [07:47] whichis max 5gbit [07:48] pcie is similarly fast so let's see [07:48] back of the usb stick doesn't have a sticker with a version [07:49] [32340.589730] Chip Version Info: CHIP_8188E_Normal_Chip_TSMC_D_CUT_1T1R_RomVer(0) [07:49] According to dmesg [07:50] The Realtek RTL8188EE is an 802.11bgn 2.4G single-chip that integrates Wireless LAN (WLAN) and a network PCIe interface controller. It combines a WLAN MAC, a 1T1R capable WLAN baseband, and WLAN RF in a single chip. The RTL8192EE provides a complete solution for a high-throughput performance and low power consumption integrated wireless LAN device. [07:51] r8188eu that's the driver being used [07:54] i'll try again and i'll reinstall drivers [07:55] Doct: if the file was created by root and the user is using rm then the file won't be deleted due to lack of permissions [07:55] cable is cable but i have wifi and she will kill me if i use cable in the middle of the room :-D [07:55] middle? [07:55] nope man [07:55] Here I got you [07:56] Get on amazon or whereever, get you a like nice solid 100 or 150 ft cable or whatever you need [07:56] Run the cable along the wall, by the floor. Then use those little plastic clips, and run the cable like that [07:57] https://www.amazon.com/Premium-Self-Adhesive-Finisher-Organizer-Management/dp/B08NX293SP/ something like this [07:57] Cable is always better. [07:58] https://www.amazon.com/dp/B0838ZR8D4 or something like this [07:58] if there is a doorway, go around it, up and over, hence the clips and the long cable. [07:59] That will be far less headache then wifi, and she won't complain [08:00] I'm not familiar with Ubuntu at all. I'm using github actions, and files are loaded into an ubuntu virutal environment (i think?). I'd like the ubuntu system to delete a file if it exists. Based on your answer, theoretically its possible for someone to create the file as root? and then the virtual environment wont be able to delete the file? I'm [08:00] using https://www.onworks.net/os-distributions/ubuntu-based/free-ubuntu-online-version19 how would I create a file as root? [08:01] Doct: are you familiar with linux at all? [08:01] currently I'm finding `sudo touch file` `sudo tee file` and `sudo chown root:root` for changing the owner after creating the file [08:02] Not really [08:02] Doct: 'sudo' means super user do [08:02] Why are you putting sudo before said commands? [08:02] Doct: if the user uses sudo to get root permission they will be able to delete any file made by root [08:03] Hash: I believe it creates the files, so that the file is owned by root? [08:03] Doct: What are you ultimately trying to accomplish. I'm sorry I Came late to the party [08:04] Right. You said [2:55:15 AM] Doct: if the file was created by root and the user is using rm then the file won't be deleted due to lack of permissions [08:04] if you want to create a file that cannot be deleted by rm? For what purpose? [08:04] sudo chattr +i /path/to/file [08:04] fixed :) [08:04] Doct: yes I did, and sudo is the way to get root permissions as a user. If a user can't use sudo then they can't modify any files made byroot [08:05] I'm using github actions, and files are loaded into an ubuntu virutal environment (i think?). I'd like the ubuntu system to delete a file if it exists. Based on your answer, theoretically its possible for someone to create the file as root? and then the virtual environment wont be able to delete the file? [08:05] don't make it immutable [08:05] if you don't want it to be able to be deleted [08:05] even with sudo [08:05] But I want first to understand why he wants it [08:05] I want to be able to delete any file [08:05] I want to ensure that rm file deletes the file [08:06] ah, don't chattr then [08:06] Then just rm as root unless it has extended attr set [08:06] just rm is fine. [08:06] rm -f will do file, but most peple don't use that [08:06] or it's implied, I forgot. [08:06] So `rm -f file` will delete a file, even if the file was created by root? [08:07] Doct: no [08:07] Now you need to worry about permissions [08:07] Linux permissions crash couse might do you good on google [08:07] 5-10 min read [08:07] force is never implied [08:07] rwx permissions? chmod? [08:07] I misremembred [08:07] I was thinkin -d [08:07] no on euses -rd [08:08] everyone knows -rf [08:09] Something. I'm so tired right now. I been studyign all day. I retire now. Bye [08:10] Take care. Thanks for the help [08:10] I swear I thought it was -f for file, -d for directory, and -F force [08:10] Oh right, I'm on linux. [08:10] oh ffs. Right. GNu stuffs is diff. [08:10] Carry on [08:11] I missed this "sudo is the way to get root permissions as a user. If a user can't use sudo then they can't modify any files made byroot" [08:11] Someting to do with how it marks inodes for deletino or marks them as 0 and not empty or soemthign something. [08:12] so `sudo rm -f file` will definitely delete any file? if sudo works [08:12] oh right -d is directory, -f is forcve, and -r/-R is recurse [08:12] Doct: you don't need -f [08:12] Doct: essentially yes [08:12] as root, or sudo, just rm the file [08:13] -f supresses confirmation, correct? [08:13] Correct, irrc [08:13] Doct: have you read 'man rm' ? [08:14] why dont i need -f? [08:14] is this good enough? https://help.ubuntu.com/community/DeletingFiles :D [08:14] because -i is not implied [08:14] interactive mode is affected by this [08:14] what he said [08:15] sometimes in bashrc it might be to have confirmation on manual removals [08:15] you want confirmations on removals, as some fs make it hard/impossible to undel [08:15] e.g. an alias [08:16] You can also make an alias for rm that just mv your target to a ~/.Trash destination [08:16] Newbie question: I am trying to add a second public ipv4 address in Ubuntu 20.04 using Netplan. Now, i used to be able to add IP addresses in the old network config system but this stumps me. I'm using Linode and added the IP on the panel, then I added a 2nd interface denoted eth0:0 and put the ip there with the correct gateway; [08:16] But when I type 'ifconfig eth0:0' it doesn't show the IP, just shows the mac address of the interface [08:16] I should be running commands in a fresh ubuntu virtual environment. So there shouldnt be aliases [08:16] Most GUI desktop DE etc. come configured with a trash can [08:16] But for command line deletions, you can make a trash cn by making a simple bash function [08:16] and parsing for $1 etc. [08:17] But you're new to linux. So I dunno [08:17] saberu: did you restart networking? [08:18] catbeard yes well I rebooted the whole machine [08:18] post your /etc/network/interfaces ? [08:18] remove() { mv $* ~/.Trash } and alias rm='remove ' and then you can probably use it like rm file.txt and it will get moved to ~/.Trash instead of immediate deletion [08:19] # ifupdown has been replaced by netplan(5) on this system. See [08:19] # /etc/netplan for current configuration. [08:19] and im doing the config in the netplan yaml file [08:21] Hi! [08:34] Hi, I have a PowerEdge R730xd with 3 PCIe NVMe disks (Samsung 970 Evo 500GB) and I'm trying to install Server 18.04.5. I initially went through the installer and installed it to one of the NVMe disks, however after the reboot, it didn't start Ubuntu and the server's boot menu doesn't show Ubuntu as an option. I figured that the server didn't [08:34] support booting from NVMe, so I went through the setup again but used a 2GB flash drive as the EFI/Grub install disk. Now it'll boot, but just to the Grub prompt and I can't get any further with my knowledge. What am I missing? [08:39] techied: is the disk you are trying to boot from set as the boot device in the bios? [08:41] The NVMe drive doesn't show up in the BIOS, but I've tried it with the USB disk at the top of the boot list and also using the one-time boot menu to select the USB disk, both times it just sends me to the grub prompt [08:41] if you installed ubuntu on the nvme drive then that is where it would have automatically installed grub [08:42] if you cannot get the bios to boot from nvme then you'll need to get grub installed to a disk it cn boot from [08:42] I manually selected the flash drive as the GRUB install location after the default way (install to the same as the root FS, which is the NVMe drive in my case) didn't work [08:42] So GRUB is on the flash drive [08:49] Here is where I am able to get to, it seems like grub isn't detecting my NVMe drives, as the only one shown is the USB drive, with the grub partition: https://i.techied.me/QerU2/neQErEGO12.png [10:37] hey guys and gals [10:38] I am getting "This video file cannot be played.(Error Code: 102630)" at https://rokfin.com [10:39] i had a similar problem on my last install and i added a codec to fix it [10:39] but i cant remember what codec [10:40] I am reading that I need the Shark007 codecs but it doesnt ring a bell [10:40] i thought i just needed flash but google tells me flash has just gone out of service [10:41] and i now google Shark007 codecs and it tells me they are windows only [10:48] Why can't I start my AppImage app from the desktop? I can do `./app.AppImage` from the terminal but double-clicking does not work. And yes, I did set it to be an executable in the Properties. [11:02] englosh, perhaps the logs have something? [11:03] summonner: what logs?~/.xsession-errors? I can only see the WARNING: tempfile is deprecated; consider using mktemp instead. warning [11:04] even if I open it with another application and select "Run Software", nothing happens and I can't see any window popping up [11:05] try using desktop-file-validate app.appimage [11:07] how do i remove packages that apt mares as no longer needed again? [11:07] s/mares/marks [11:07] routebee, run apt [11:08] autoremove [11:09] also, if I try to autocomplete the AppImage name on the terminal by pressing tab, it doesn't work. It never autocompletes that file [11:09] but it autocompletes others. Does anyone else have that problem? [11:10] summonner: the very last line says app-portable-linux-x86_64.AppImage: error: filename does not have a .desktop extension [11:10] im still getting this fucking video error code This video cannot be played. Please refresh the page.(Error Code: 102630) [11:10] what do i need to install when i get this error? can't find package dns [11:11] i have installed ubuntu-restricted-extras [11:11] no joy [11:12] i have restrted gnome and firfox [11:12] no joy [11:16] mmk... i had uninstalled the codec package when i restarted firfox and gnome so i installed it again and alt-f2 r enter and restarted firfox and it worked [11:16] is there an ubuntu channel focussed on ubuntu servers? [11:16] #ubuntu-server [11:17] ty. --- tried it with 's' at the end :) [11:25] englosh, yes, that might be the problem === akem is now known as akem1 === ianychoi__ is now known as ianychoi [11:30] Hello. Which of the following commands uses one option and two arguments? 1- Is -a -I /tmp , 2-Is -al /home , 3- Is -I /tmp / home , 4- Is all /tmp /home [11:35] Good morning. [11:35] Metamorphosis, homework time is it? [11:37] Is there server documentation for 20.10? I found this page for 20.04. I am figuring that they just have docs for LTS just to keep things simple and I should have trouble using the documentation as long as I am not just copy pasting commands like a fool. Does that sound accurate? :) [11:37] I should have no trouble* [11:38] Batoeh, what page? [11:39] I apologize. I forgot to paste it. https://ubuntu.com/server/docs [11:40] summonner nope. I study marketing. I'm learning linux through books [11:42] Metamorphosis, well, the first problem I see you having is you're using an I when you should be using an L [11:43] hi. why is patch -p1 < $(curl https://www.drupal.org/files/issues/2020-06-06/tckn_kontrol.2.0.rector.patch) giving me ambigous redirect? [11:44] Kartagis, why not just pipe the patch [11:44] also, remember to use switch for following links [11:45] summonner: you mean curl https://www.drupal.org/files/issues/2020-06-06/tckn_kontrol.2.0.rector.patch|patch -p1 ? [11:46] curl 'http....' | patch if that's the command yes, I'm unfamiliar with patch [12:22] hi there [12:23] Hi there [12:23] how can we help you vincenzoml ? [12:23] I am not an expert of python at all, and need to run programs that use tensorflow-gpu 1.15 [12:24] lotuspsychje, hi, thanks for asking :D [12:24] What I don't understand is if ubuntu ships only python 3.28 because that's how people work [12:24] or if there is a way to get an older version (seems like I need 3.7 for tensorflow 1) [12:25] maybe a specific ubuntu-friendly repository where I can choose older versions of python [12:28] I need this to reproduce some research results that have open source code, but not ported to tensorflow 2 [12:28] probably the best would be to have a chroot with a previous ubuntu version, or a docker image, or a virtual machine. What's the most obvious path? I'm using a server so no GUI to configure e.g. virtualbox. [12:35] vincenzoml: you can install python3.6 and python3.7 from some ppa thingie [12:37] like deb http://ppa.launchpad.net/deadsnakes/ppa/ubuntu focal main [12:38] vincenzoml: you could also try to do that in a docker thingie, but that'd be more troublesome [12:38] or you could compile your own version of tensorflow for py3.8 [12:39] not sure how troublesome that'd be specifically for this change, but compiling it in general is very time consuming and annoying [12:54] Howdy all [12:55] cbreak, hi, sorry I don't know why I get disconnected after a while [12:55] so compiling tensorflow is not at my reach [12:57] I think I want to go the docker way, and learning it, but [12:58] I am going the ppa route [12:58] it works [12:58] I have a very basic admin question. I want to add my user to the "docker" group. I used vigr and added my name after "docker" with the usual syntax, but no matter how many times I log out and in, I am still out of that group [12:58] via ssh [12:58] cbreak, will keep it in mind [12:58] I can do both, I also want to learn docker at some pont [12:58] point [12:59] docker: https://hub.docker.com/layers/tensorflow/tensorflow/1.15.5-py3/images/sha256-181ff142e73ed8efe350f49288c7b0f5681fde66534a76d8de4fc75d4e30d571?context=explore [12:59] from https://hub.docker.com/r/tensorflow/tensorflow [12:59] cbreak, the experiment requires other stuff to be installed via pip and outside pip; do you think I can create a regular ubuntu docker image and install stuff in it and keep it permanent or is it "wrong"? [13:00] just use this image as base image [13:00]