✅
Todo.txt の状態ファイルや設定ファイルのパスを変える
TL;DR
/etc/todo/configを読めば大体オーケー。
Todo.txt とは？
Todo という名前のテキスト・ファイルではありません。「Todo.txt」という名前のシェル上で動作するタスク管理アプリです。
必要な機能だけがあるシンプルな実装。便利です。
使い方についてはこちらの記事が分かりやすいと思いました。
詳しくは公式サイトやリポジトリをご覧ください。
環境
使用している Todo.txt は以下の通りです。
バージョンがv@DEV_VERSION@となっていますが、aur にあるバージョン2.12.0のものを使っています。
$ todo.sh -V
TODO.TXT Command Line Interface v@DEV_VERSION@
Homepage: http://todotxt.org
Code repository: https://github.com/todotxt/todo.txt-cli/
Contributors: https://github.com/todotxt/todo.txt-cli/graphs/contributors
License: https://github.com/todotxt/todo.txt-cli/blob/master/LICENSE
$ paru -Q | grep todotxt
todotxt 2.12.0.post2-2
この記事の動機
ホーム・ディレクトリを XDG Base Directory specification に則って整理していた時に、Todo.txt の管理に少し手間取りました。そこでソースを直に見ていくつかの知見を得たので情報を共有したいと思います(主に未来の自分へ)。
設定ファイルの場所を変更する
$ todo.sh helpに情報があります。
-d CONFIG_FILE
Use a configuration file other than one of the defaults:
/home/[ユーザー名]/.todo/config
/home/[ユーザー名]/todo.cfg
/home/[ユーザー名]/.todo.cfg
/home/[ユーザー名]/.config/todo/config
/usr/bin/todo.cfg
/etc/todo/config
上記の内容を少し補足すると以下の順に探索し、存在したファイルを設定ファイルとして使用します。
$HOME/.todo/config$HOME/todo.cfg$HOME/.todo.cfg${XDG_CONFIG_HOME:-$HOME/.config}/todo/config$(dirname "$0")/todo.cfg${TODOTXT_GLOBAL_CFG_FILE:-/etc/todo/config}
状態ファイルの場所を変更する
タスクの進捗や履歴などは、デフォルトで$HOME/.todoに保存されます。
これを変更するには設定ファイルで指定する必要があります。
指定方法は/etc/todo/configに書いてあります。
私の場合、設定ファイル($XDG_CONFIG_HOME/todo/config)内にexport TODO_DIR=$XDG_STATE_HOME/todoとだけ指定しています。
/etc/todo/config
# Your todo.txt directory (this should be an absolute path)
#export TODO_DIR="/Users/gina/Documents/todo"
export TODO_DIR=~/.todo
# Your todo/done/report.txt locations
export TODO_FILE="$TODO_DIR/todo.txt"
export DONE_FILE="$TODO_DIR/done.txt"
export REPORT_FILE="$TODO_DIR/report.txt"
[省略]
この他、/etc/todo/configには、カラー情報やタスクの表示順、タスクを表示する際のフィルターの設定方法について書いてあります。
終わり
良いツールなので是非使ってみてください！
Discussion