Tag: linux

Linux-related tips, tricks, and tutorials.

• Web Scraping on the Shell

  22 Apr, 2024

  • linux (5)
  • shell (4)
  • web-scraping (1)

  Often times there's data on the internet we'd like to get our hands on. In most cases I'd start on a Python script with the usual suspects requests, beautifulsoup4, json or csv. This works well butwhen the task in question only needs to be run once, it would be alot easier to run a few commands on the shell.

• Tips For An Improved Arch Linux Experience

  30 Sep, 2020

  • linux (5)

  Arch is great but can require some effort to configure. Here are a couple of tips.

• Querying Pacman with Datalog

  5 Apr, 2020

  • datalog (1)
  • python (5)
  • linux (5)

  Using Datalog to query pacman dependencies.

• Colouring arbitrary shell output

  24 Mar, 2019

  • python (5)
  • shell (4)
  • linux (5)

  Color shell output with python-pygments.