libera/#devuan/ Wednesday, 2025-03-05

Guest35Hello. Does anyone have experience with setting up devuan on raspberry pi?16:50
fsmithredGuest35, yes (not me) but you will get more answers in #devuan-arm channel16:52
Guest35Guest35: Thanks16:52
fsmithreddid you find our images?16:53
Guest35What images?16:53
fsmithredhttps://arm-files.devuan.org/16:53
Guest35Oh I haven't found those before. I would still need to format it using raspberry pi imager yes?16:54
fsmithredI don't know16:55
fsmithredbe patient. Answers don't all come right away.16:56
Guest35(y) I'll just try it out and see if it works16:57
freemdo rPIs have onboard storage, or are they still requiring external storage suck as micro-sd cards?16:57
Guest35I'm using a micro sd card for mine16:58
Guest35It's a raspberry pi 4 so it's a bit of an old model16:58
freemmeh, I can't even find which firmware they use17:00
freemanyway, what I'd do is that i'd just install the OS on the SD card as if it was a normal HDD17:01
fsmithredaren't they just disk images with no installer?17:02
freemno idea, I only have a set of beaglebone black17:03
Guest35whats that17:03
freemwhich is why I wanted to know the name of the firmware rPI uses... if it was UBoot I'd have some basics for sure at least17:03
fsmithredthere are instructions in the readme on that page17:04
freemGuest35: it's the precursor of this kind of SoC. Unlike rPI, it never required non-free blobs to be 100% usable. https://www.beagleboard.org/boards/beaglebone-black17:04
debdogwhat fsmithred said: https://arm-files.devuan.org/README.txt17:05
freemglobally it's less powerful than a rPI, at least from CPU/GPU considerations. It does have an on-board storage though, which is nice because I would not trust micro-sd cards on the long run17:05
Guest35i have had two micro sd cards bend because of the rpi's case '=(17:06
freemwelp. Each tool their pros and cons :)17:07
Guest35ive been reformatting my sd card for like hours now trying to get devuan on my rpi to boot because i hadnt found the arms for rpi17:09
freemyou could setup a networked install. It's a bit more complicated to setup initially, but on the medium-term it's a huge time saving. Also avoids to plug and replug stuff into fragile electronics.17:10
freembut I guess it would not help much with the problem of burning the SD card by sending too many writes operations to it. Dunno how robust those are on this kind of aspect.17:11
freemI don't even know if rPI4 supports network booting. I'd be surprised if it would not though.17:11
Guest35already tried the network iso but it doesnt boot on rpi 417:12
freemwell, you MUST have arm binaries, otherwise nothing will work17:12
freemas for rPI4 I suppose it's armhf, 32 bit stuff? So you need to pick those iso, not the stuff for arm64 (no idea how it's named)17:13
freemah, finally! https://github.com/pftf/RPi4 apparently rPI4 uses a UEFI firmware, so it is really just like any computer17:14
freemthe only difference with a normal computer is that you need arm binaries instead of x86 ones, is all17:16
freemnow, I have no idea if their firmware embeds a GUI like a normal computer... but I don't see why they would not17:17
Guest35alright i got it to boot and im in the setup, where it asks you for the keyboard model that im using can i just choose any random model since i dont think my keyboard model's listed here17:19
Guest35my keyboard is a keychron c3 pro17:19
freemreal coders use butterflies, no need for keyboards17:35
Guest35i went through the setup and now im just stuck in the terminal17:35
Guest35the setup via run-setup command i mean17:35
Guest35it says system ready to go17:35
freemdefine "stuck"?17:35
Guest35i mean its just the terminal the setup gui is gone17:36
freemdo you have a prompt?17:36
Guest35uhh not really but it says system ready to go17:36
freemjust checking quickly, so that I know what to expect, and try to ask better questions: how much are you used to terminals and linux in general?17:37
Guest35im just doing this for a college assignment if that answers your question17:37
freemI may have the bad habit to associate rPI users with powerusers :)17:37
freemI see, so beginner17:38
Guest35yeah17:38
freemthat will help17:38
Guest35ive used ubuntu and debian briefly but i havent had these issues17:38
freemso, a "prompt" is what terminals output. Usually looks like: "root@system: /home/foobar$ "17:39
freemit means the terminal is ready to receive a command from you17:39
Guest35i see17:39
Guest35my prompt's root@bcm271117:40
freemok, so you are logged as root17:40
freemyou said install is complete?17:40
freemno error message?17:40
Guest35yup17:40
freemthen type "reboot"17:40
Guest35pretty sure since it says system is ready to go17:40
Guest35alright17:40
freemit will reboot the rPI and that shuold lead you to ... whatever is default in a rPI. It may not have a graphical environment installed. If so, I guess you'll need to do "apt-get install task-lxde-desktop" as root17:41
Guest35i rebooted and logged in but im still in the terminal17:42
Guest35alright ill install the thing17:42
freemI picked lxde because it's meant to be lightweight, might be better for a rPI17:42
freemmost distro install gnome by default17:42
Guest35it read the package list but it cant locate the package on the drive17:43
Guest35maybe i can install xfce417:43
freempossibly17:43
freemoh17:43
freemyou may need to do "apt-get update" before17:43
freemwith network on17:43
freemcan you ping, say, "perdu.com"?17:44
Guest35i said get update and it seems to be frozen at 0%17:44
freemit's a quick test to check if all is good network-side (it's a french joke website)17:44
Guest35thats strange because im connected to ethernet17:44
freemyeah, I suspect you have no networking setup17:44
Guest35when i use the other OS my ethernet works17:45
Guest35hold on ill reboot and try pinging that site17:45
freemtry the ping quickly?17:45
freemno need to reboot each time17:45
freemjust ctrl+c will abort your current task on the terminal17:45
Guest35ah alright i was gonna ask17:45
Guest35it pinged the website17:45
Guest35in 6ms average17:46
freemthat's why I needed to know your skill level, otherwise I would not have explained ctrl+c :)17:46
freemyeah, don't care about this17:46
freemit means you do have network setup correctly17:46
Guest35ah17:46
Guest35do you think there just might not be an update available then17:46
freemname resolution and actually contacting internet works, that is what it means when you can ping a website like that17:46
freemI think your /etc/apt/sources.list is wrong17:47
freemprobably17:47
Guest35whats that17:47
freemit is the file where apt will find which servers to contact and which database of packages to sync with17:47
Guest35ah so i downloaded the wrong installation?17:49
freempossibly, no idea17:49
freemI never did a normal isntall on arm :D17:49
freemalways ended up using my own scripts and all17:49
Guest35that would be weird because i just downloaded the rpi4 iso17:49
Guest35oh hold up it gave me an error17:49
freemyeah17:49
freemI don't know. You can ping outside, but "apt-get update" is failing...17:50
Guest35it said http://deb.devuan.org/merged chimaera inRelease17:50
Guest35temporary failure resolving deb.devuan.org17:50
Guest35which is really strange because i thought i got daedalus17:50
freemah, same here17:50
freemwell, as a temporary measure, I guess you can modify those to use "us.deb.devuan.org" instead17:51
freemthat's the link used in example in here: https://beta.devuan.org/os/packages and I just tried to ping it: works from here, unlike deb.devuan.org17:51
Guest35i'm in europe17:51
freemfr works as well17:52
Guest35uhh how do i modify it though lol17:52
freemdunno for other mirrors17:52
freemyou probably have nano installed17:52
Guest35nano?17:52
Guest35im sorry you're losing me17:52
freemso, as root: "nano /etc/apt/sources.list"17:52
freem"nano" is the name of a text editor for console17:52
freemone that is easy to use and often installed :)17:53
freemI think debian/devuan install it by default17:53
Guest35alright just tested the same thing u said and pinging us.deb works while just deb doesnt17:56
Guest35im just trying to figure out how to get the packages from us.deb now17:57
freemhuh17:57
Guest35like17:57
freemI did not said that pinging us.deb... would help17:57
Guest35install the update from us.deb.devuan.org server instead of deb.devuan.org17:57
Guest35no i know i was just testing connection17:57
freemI said to edit with nano the file /etc/apt/sources.list so that it uses us.deb.devuan.org (or fr.deb... or de.deb... or whatever) before doing the update17:58
freemah weird17:58
fsmithreddid apt update work with us.deb.devuan.org?17:58
freemactually don't17:58
freemit seems deb.devuan.org is reachable again17:59
fsmithredyeah, that happens a lot. It might have been in the middle of updating itself17:59
Guest35still cant ping it though17:59
freemoh, ok17:59
Guest35so what do i put in nano to default to us.deb.devuan.org17:59
fsmithredjust try apt update again first18:00
Guest35still not working with deb.devuan.org18:01
freemit's weird, http requests pass, but ping fails to resolve the domain18:01
fsmithredok, maybe pick a specific mirror close to home. I don't think the country codes do anything.18:01
Guest35i mean they clearly do because i can ping the us mirror18:02
Guest35just not the default mirror18:02
freemhow can by browser resolve but not CLI tools...18:02
* freem shrugs18:02
Guest35thing is i dont know how to update from us.deb.devuan.org instead of deb.devuan.org18:02
fsmithredhttps://pkgmaster.devuan.org/mirror_list.txt18:03
fsmithredyou would need to edit the file18:03
fsmithrednano /etc/apt/sources.list18:03
Guest35do i type that exact thing in nano?18:03
fsmithredat the bottom of the screen are instructions on using the editor18:03
fsmithredyou type that in terminal and nano will start with that file open18:04
fsmithredarrow keys to navigate, add the us. in front of deb.devuan.org18:04
fsmithredthen ctrl-X (save and exit) and y to say yes to save the file18:05
Guest35navigate where?18:05
fsmithredinside the file you are editing18:05
fsmithredmove the cursor to the line you want to edit, then move it over to where you want to insert characters.18:06
Guest35hold up so after i type /ect/apt/sources.list in nano what do i do18:06
Guest35thats the only part that has me stuck18:06
fsmithrednope18:06
fsmithreddon't type that inside the file18:06
Guest35oh18:06
fsmithredthat is the path to the file18:06
fsmithrednano /etc/apt/sources.list18:06
fsmithredopens that file in nano text editor18:07
fsmithredone more thing to do first18:07
fsmithredimportant18:07
Guest35it says directory /ect/apt does not exist18:07
fsmithredcp /etc/apt/sources.list .18:07
fsmithrednote the dot at the end18:07
fsmithredetc not ect18:07
fsmithredthink 'etcetera'18:07
fsmithredcp /etc/apt/sources.list .18:08
fsmithredthat will copy the file to your current directory in case you totally screw it up18:08
fsmithreddo that before you edit18:08
Guest35alright did that, it didnt output anything from the console though but now i did the nano thing again and it opened the file.. turns out i was just typing in /ect instead of /etc haha18:09
Guest35uhh so its displaying 5 deb links now18:09
fsmithredcool.18:09
fsmithred5?18:09
fsmithredall 5 are uncommented?18:09
fsmithredhttp://us.deb.devuan.org/merged   <- like that plus whatever comes after merged18:10
Guest35alright so on all of the links i added us. after deb http://18:10
fsmithred:)18:10
fsmithredctrl-x18:11
fsmithredy18:11
fsmithredapt update18:11
Guest35now its saying file name to write: /ect/apt/sources.list after i exited and saved to buffer18:11
fsmithredyes18:11
fsmithredy18:11
fsmithredenter18:11
Guest35its working18:12
Guest35holy shit finally18:12
fsmithredcool18:12
freemnice18:12
Guest35i think when the professor gave me this assignment he didnt know that the deb.devuan.org would be invalid and id have to edit it from nano18:12
Guest35thanks for the help man18:12
fsmithredyw18:12
fsmithredhow old is the image you used? You might want to run 'apt upgrade' afteward18:13
Guest35ok so after i update ill still have to run something like sudo apt install xfce4 xfce4-goodies right18:14
Guest35befor i reboot18:14
Guest35the image i used shouldnt be old let m check18:14
fsmithredyou'r already root so you don't need sudo18:14
fsmithredyeah, install something for a desktop18:14
Guest35do i run apt upgrade anyways just to be sure18:15
freemyes, better to do the upgrade now that there are less candidates to update18:17
Guest35i need to reboot right after installing the graphical interface18:32
Guest35holy shit finally its working18:40
debdogALL HAIL SHIT!18:48
metalawe have to teach newbies not to reboot after install / update, except for kernel.21:37
phoggwould be a nice feature of needsrestart: tell you which daemons / programs need to start, and says either do / do not reboot21:55
rustyaxeWut21:57
rustyaxei reboot a few times a year to get a fresh kernel, thats about it21:58
metalathe new user wanted to restart to get to X, that's why I mentioned it. I think it's good to shut down the machine, if it's not a server and has LUKS.22:07

Generated by irclog2html.py 2.17.0 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!