tools

3 posts tagged “tools”.

  1. 2024
  2. Converting HTML and rich-text to Markdown

    If you copy and paste from a web page - including a full table - into a GitHub issue comment GitHub converts it to the corresponding Markdown for you. Really quick way to construct Markdown tables.

    1 min read
  3. 2023
  4. Free API Gateway to expose localhost (ngrok alternative)

    I needed to build and use many inhouse tools (like controlling my lights, checking doors cameras remotely, checking my server's temperature, etc).

    1 min read
  5. CLI tools hidden in the Python standard library

    Seth Michael Larson pointed out that the Python module can be used as a CLI tool like this: This is a neat Python feature: modules with a block that are available on Python's standard import path can…

    2 min read