Hey man, we're living parallel lives. I literally just did this yesterday. The command you're looking for is gdebi. Try gdebi (name of the package's file, uncompressed to a .deb) if you downloaded the .Deb from the website. tic80 will now be a usable command. To uninstall the tic80 command / program you can use apt uninstall tic80. It worked with and without sudo.
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
gdebi, apt can also do this these days.
Did you try
sudo dpkg -i path/to/tic80-v1.1-linux.deb
Will try, once I find the filepath
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.deb on a USB stick and want to install this.
After you've mounted the USB-drive, cd to the directory where the downloaded deb-package is located. Then run
sudo dpkg -i tic80-v1.1-linux.deb
sudo apt -f install
to 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 dmesg after plugging in the USB stick, there should appear s.th. like /dev/sdb1 or alike. Then you can mount the partition e.g. to /mnt directory
sudo mount /dev/sdb1 /mnt
You 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
sudo umount /dev/sdb1
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