this post was submitted on 20 Sep 2024
17 points (90.5% liked)
Linux Questions
1063 readers
2 users here now
Linux questions Rules (in addition of the Lemmy.zip rules)
- stay on topic
- be nice (no name calling)
- do not post long blocks of text such as logs
- do not delete your posts
- only post questions (no information posts)
Tips for giving and receiving help
- be as clear and specific
- say thank you if a solution works
- verify your solutions before posting them as facts.
Any rule violations will result in disciplinary actions
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Yes, raspberry pi 4. With 4gigs of ram. Is that the issue?
A raspberry pi isn't a normal computer. You need a distro for it specificly.
With that being said, Pop OS does have a raspberry pi image. I've never tested it but it should work fine. Alternatively you could get a minimal Debian image and then install Cinnamon
You need a different distro for the raspberry pi, which has an arm processor. The easiest way to do this is to use the Raspberry Pi imager. From within the app you can select a number of different os options, and if you’re looking for something with a desktop environment, start with raspberry pi os, or Ubuntu, both of which can be selected in the app.
Edit: fix autocorrect error
What is a district in this context?
And yeah, I have the Raspberry Pi Imager. That's what I used to write my previous OS's to my SD cards.
Years ago I used Rasbian, which I guess is now called Raspberry Pi OS. Years ago my fan worked. Then I switched to TwisterOS, and that worked great too. Then there was some issue with something. I forget what. But in order to fix it, I was instructed to do an update all.
I did, and my fan broke. I spent weeks trying to get it working again. It would work on raspbian, but not TwisterOS.
I had hundreds of gigs of roms on it, and I didn't want to format and start again. So I threw it in a drawer, and got frustrated with the thing. Well this week, I wanted to get it working, and even on Raspberry Pi OS the fan script won't work. It installs, but it doesn't do anything....
You didn't install it. You just wrote a iso to a drive. The device tries to boot into the live image and fails as it is the wrong architecture. If you were to write Linux mint to a USB and then boot your computer off of it you could install it to your computer. It is for computers not raspberry pis (over simplification but pretty much true)
For raspberry pi you need a dedicated OS that supports it. Linux Mint does not support the raspberry pi
Side note: I don't know what a district is but I assume it is a typo
Definitely a typo. Stupid autocorrect
I believe the poster meant to write distribution. I don’t believe that Linux Mint releases for Raspberry Pie or if it does I’m not aware of this. The main downloads are for Intel or AMD machines only.
Yup. Autocorrect got me
As the other commenters said, “district” was an autocorrect typo. I meant distro/distrubution.
I can’t speak to what’s wrong with the fan, but if you use imager and write a supported distribution to the sd card, you can see if the fan works again, and/or try troubleshooting again.
Also, consider that it could be a hardware issue. The fan could just be dead. Hardware fails, and you should try to rule that out.
Yes, that's the problem. You should probably start by downloading the official raspberry pi imager and choosing a distro from there to install to the SD card.
https://www.raspberrypi.com/software/
There are other ways to find images and plenty that aren't available there but that's the easiest way to get up and running. You'll probably want to start with the default raspberry pi os and start experimenting with more customized os's later.
See my reply to the other guy above.