Shell: tlmgr aliases.

2013-01-08 17:24:17 +01:00 · 2013-01-08 17:24:17 +01:00 · f41ffffca4
parent dd0af41191
commit f41ffffca4
1 changed files with 2 additions and 1 deletions
--- a/.shell.d/alias_rc
+++ b/.shell.d/alias_rc
@ -147,5 +147,6 @@ fi
 if [ -d "/usr/local/texlive" ]; then
    alias tlu="sudo sh -c 'umask 022 && tlmgr update --self'"
    alias tls="tlmgr search --global"
-    alias tll="tlmgr show --list"
+    alias tll="tlmgr info --only-installed"
+    alias tlf="tlmgr info --list"
 fi