Linux

Makefiles are one of the most useful tools I’ve been working with. I can say that it can be useful for lots of projects (with any language). What is Makefile? Makefiles are essentially a place where you can store your most frequently used commands in one place. They make repetitive tasks easier by creating short commands. Let’s take a look at sample file: install_packages: pip install -r requirements.txt generate_deps: pip-compile requirements.in -o requirements.txt docs: pdoc --html --force --output-dir docs common The way to execute this targets would be using make generate_deps or make docs. By default make command will search for a file named Makefile (with no extension) to run your commands. ...

I’ve recently found Caddy as a tool to assign urls to my docker services and I’m quite happy with it. I’ve done other reverse proxies like Nginx and Traefik in the past but they are too complicated for my needs. Let’s start. Let’s say that you want to assign your url like newservice.amirpourmand.ir to a service in a VM with a public IP address. I’ll go you through it. Also, It has multiple benefits. The first one is that you don’t have to do IPs. You don’t have to deal with ugly IPs that may change in the future. You deal with Secure URLs. The second is that the connection is https. ...

There are lots of tutorials on the internet on how to install a GPU driver on Linux. However, I end up searching again every time I want to install a GPU drivers and I get frustrated when there are multiple ways of doing the same thing and I don’t know which one is the best. Also, there are some things I’ve learned which I’d like to share it. I’ve tested this on 3090 GPU and Ubuntu 22.04. Yours may vary a little but the procedure it the same. ...

I’ve always wanted a clean local environment to install python packages in it. To me, it should have multiple requirements: 1- Installing packages should be easy enough. I mean I just want to use pip install that and not worry about anything else. 2- Switching between python environments should be easy. If I happen to need multiple environments in my system, I want to be able to easily switch between them. Preferably, even without command line. ...

I’ve been working for some time with Linux and I feel that sharing some scripts and also tools I frequently use can be helpful. Search History history | grep seach_string or Ctrl+R. Search Log files In order to search a folder to see if a string exists in the whole folder: grep -ir "string to search" . Show File and Folder Size To analyze file size, there are several ways. ls -alh -rw-r--r-- 1 amir amir 270K May 20 2023 Arial.ttf -rw-r--r-- 1 root root 72 Sep 20 21:10 Untitled5.ipynb -rw-r--r-- 1 amir amir 1.2M May 26 2023 exp12.mp4 -rw-r--r-- 1 amir amir 4.7M May 26 2023 exp13.mp4 -rw-r--r-- 1 amir amir 654M May 22 2023 exp4.avi -rw-r--r-- 1 amir amir 68 Dec 28 2022 kaggle.json drwxr-xr-x 17 amir amir 4.0K Dec 28 2022 miniconda3 drwxr-xr-x 2 amir amir 4.0K May 26 2023 mp4 You can see from the above output that this only shows file sizes properly. ...

Well, you have got a server (most probably linux) which you want to run your tasks on it. How should you do that and What technologies you should adopt? Windows Users This tutorial is written with bash (or zsh) in mind. So, If you are a mac or linux user, your default shell would be enough and you can go ahead with the rest of tutorial. However, Windows users need to follow this tutorial to install WSL and then Ubuntu to get a good bash. After that you would install Windows Terminal and you are good to follow this tutorial. ...