Posts tagged shell
Renaming files so they make sense (rename)
rename is a bash script I wrote to automatically rename long files (the way I like it).
Generating tags for git repositories (mytags)
2024-11-17 · shell
mytags is a wrapper around ctags which respects your gitignore files.
Toggling background color in kitty and vim (yob)
yob is a tiny shell script which toggles between a light and dark colorscheme in Kitty, my terminal of choice.
Automatically retrieving Bibtex information from DOI
2023-11-26 · shell, productivity
doi2bib is a simple Python script I wrote that fetches bibtex information from the Crossref API using the provided DOI. It can also handle pre-prints published on Arxiv.
CMS using Pandoc and Friends
Some tools & techniques I use to run a no non-sense blog using static html pages. All powered by a sane file naming convension, plaintext documents writing in markdown and exported to html using pandoc and other unix cli tools.
Effortless Parallel Execution with xargs & Friends
2022-05-08 · shell
Recently, I had to run Tensorflow Data Validation on over 500 public datasets from Kaggle to generate a baseline schema file for further analysis. I chose to do this using the xargs unix command.
There and Back Again A Tale of Website Management
Managing websites using markdown, shell and vim.
Timestamps in the Shell (today)
2022-03-03 · shell, productivity
Creating timestamps in the terminal.
Aru’s Information Management System (AIMS)
2022-02-28 · shell, productivity
AIMS or Aru’s Information Management System is a collection of shellscripts to manage information in plaintext. It is inspired by org-mode, and tries to replicate a subset of its functionalities which I frequently use. AIMS is completely tuned towards my workflow as a researcher and how I manage my digital notes.