Category: linux

  • 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 Hide Wine System Tray

    Install this gnome extension: https://extensions.gnome.org/extension/1674/topiconsfix/ This will move wine system tray to your real ubuntu/gnome system tray. Enjoy your life.

  • GIT Tutorial: How to Push to a New Repository

    Set up your global git configuration first. git config –global user.name “Your Name” git config –global user.email “id@your.site” If you want to create a new repository:

  • 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

  • Install Hangeul/Korean Font Support on Raspberry Pi 4

    No need to talk, just type: $ sudo apt install ibus ibus-hangul fonts-unfonts-core That’s it, now reboot, $ sudo reboot and go to naver.com to check. 🙂