-
How to Run Linux on RISCV in Arty A7-100T FPGA
It’s been tempting for me to try running open-source software on top of open-source hardware. SiFive provides a bitstream for Arty A7 called Freedom, but it seems that the repository is dead now. The other interesting alternative to try is VexRiscv, and everyone keeps posting about Arty A7 35T while I only have the 100T…
-
How to Cut and Download Youtube Videos using Command Line
In some of my free time, I am actively using Instagram, not to show off or seeing people’s life that I don’t even care about. For me, this social media is perfect for everyday reminders for positive feeds. Usually, people choose a youtube video at the best moment, then re-post it on Instagram as a…
-
Git Pristine: How to Pristine Clean Your Dirty Git Repository
I found this command useful and I love this alias! git pristine, a command that will wipe any dirt on your local git copy, any untracked files, and the cache will be removed to make it pristine clean as the remote origin.
-
Simple Way To Change Pop Os Default Login Monitor
I use three monitors, one of which is in a vertical position. Sometimes the login screen on Pop OS appears on the main monitor, sometimes it appears on a vertical monitor, but in a horizontal position. Like it or not, I have to log in with my head tilted. Although if you look at the…
-
My Quick Ways to Auto Format Code in VSCode
I don’t have much time to format my code to looks neat in VSCode (Ctrl + Shift + I), but the default formatting from Visual Code is not efficient for me. It makes the first bracket on function placed alone in one line. This makes my code longer!
-
How to Start a Fresh Raspberry Pi without Monitor
I mean using SSH because HDMI, mouse, keyboard, and monitor will eat up the whole space in my desk. Prepare the Raspberry Pi OS Firstly we need to get our microSD card with bootable Raspberry Pi OS. I recommend using Raspberry Pi Imager to make this process easier. We just need 3 steps, download the…
-
How to Fix Raspberry Pi SSH Hangs or Not Responding
I just set up a Raspberry PI 4 Model B in the laboratory to automatically connect to the lab’s router. I found that each random minutes the SSH is hangs and not responding.
-
How to Install Xilinx using Command Line in Four Steps
I just got some problem with Xilinx 2020.1 installation on my Pop OS. The installer was stuck and gives me an error message: This seems like the GUI problem on the installer. So let’s just continue using batch mode.
-
How to View .dot Files in Ubuntu
I was working with LLVM recently to create a callgraph using opt -view-cfg. But unfortunately it doesn’t work. Here is what I got instead: This means there is no application registered for handling .dot files. Even if I already installed graphviz. Solution is, install xdot. sudo apt install xdot Now you can opt -view-cfg to…
-
How to Create Identical Image of USB Device
Hi, currently I am backing up my micro SD card contents and I’m using dd for that. You can start listing your usb device using: After you get the USB address, for example mine is /dev/sdb, you can start creating a copy images. Here I tried to put the image file as ~/usb_clone
