this post was submitted on 13 May 2024
17 points (100.0% liked)
Linux
48145 readers
753 users here now
From Wikipedia, the free encyclopedia
Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).
Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.
Rules
- Posts must be relevant to operating systems running the Linux kernel. GNU/Linux or otherwise.
- No misinformation
- No NSFW content
- No hate speech, bigotry, etc
Related Communities
Community icon by Alpár-Etele Méder, licensed under CC BY 3.0
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
If the device has network access, then you can just wget it and install it.
Its not on apt, I tried that
So, as I understand you, you've got a copy of
tic80-v1.1-linux.debon a USB stick and want to install this.After you've mounted the USB-drive,
cdto the directory where the downloaded deb-package is located. Then runto install the package and missing dependencies.
Apt can install a .deb and its dependencies in one go.
Cool. Thank you. I haven't looked into the changelog ever. Obviously this works for quite a while now (~2017?) without moving the deb-file to
/var/cache/apt/archives/.Now I'm looking for the directory. Would a USB be in /home?
Its a clockworkpi os machine
That depends on how you have mounted the device, as this is usually not done automatically. As I understand, your system doesn't have a desktop environment. So the you need to search e.g. the output of
sudo dmesgafter plugging in the USB stick, there should appear s.th. like/dev/sdb1or alike. Then you can mount the partition e.g. to/mntdirectoryYou anyway can check the output of
mount(without arguments) if and where the device was mounted successfully.You later can safely unmount the USB stick by
I did sudo mount /dev/sda1 it returned this:
/dev/sda1: can't find in /etc/fstab
Yes, you need to specify the path where it should be mounted to. I proposed using
/mnt.Oh, thank you
Edit:
The solution worked, the software is for arm tho.
My dumbass water this time only to realise ita not riscv compatible
What kind of system do you have? I assumed it was a small RPi like device.
Its a uconsole r-01
As it is its kind of terrible but looks cool. Might upgrade to a cm4 but would like to use the machine
So you need to build from source, as I don't see a prebuild version for RISC-V on their Github-page. As your system probably is supposed to be slim, you can try cross building from source on another computer. But if you are interested in doing that, please ask in a separate post, as I've never done that.
So basically use the source code elsewhere? I'll ask later, thank you