jlisting パッケージを入れようと思い，listings パッケージのフォルダにjlisting.styを入れて，mktexlsrを実行したがどうもうまく反映されなかったらしいので，その時にやった対処法を書く． ＜筆者の環境＞ Ubuntu 18.04 LTS Te...