Skip to content

My Documentations

Home
Bash
Bash
- Bash stdin interactive vs piped
- Bashrc Bashrc
  Table of contents
  - .bashrc
  - Save pid of a process under tmp
Docker
Docker
- Change default path
- Detect image size
Ffmpeg
Ffmpeg
- Loop
- Speedup
Git
Git
- Rename commit author
Latex
Latex
- Tabularray
  Tabularray
  - Colspec
Macos
Macos
- Current wattage

Bashrc

.bashrc

Save pid of a process under tmp

Add this to your .bashrc or .bash_profile. After source ... you can use ist as sid <1231312> <usage>

alias sid='f() { mkdir -p /tmp/ids; echo "$1" > /tmp/ids/$(date "+%FT%H-%M-%S")-$2.pid; echo /tmp/ids/$(date "+%FT%H-%M-%S")-$2.pid; }; f'