Pinned Loading

1. todo_finder: script to print the tex... todo_finder: script to print the text after all "TODO: " strings under a directory recursively

   1

   #!/bin/bash

   2

   3

   script_name="$(basename "$0")" # name of the shell file, so that we can ignore it later (since it has TODO in it)

   4

   current_dir=$(basename "$dir") # name of the current directory

   5

   dir=${1:-"."}                  # directory to search for TODOs is in the first argument, default is the current directory