From 9492267f17f2083e1101d6efea76c9ea8fda6b3e Mon Sep 17 00:00:00 2001 From: 10sr <8slashes+git@gmail.com> Date: Tue, 2 Oct 2012 13:27:42 +0900 Subject: [PATCH] fix gtags alias --- bashrc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/bashrc b/bashrc index 7d96a6b..b287064 100755 --- a/bashrc +++ b/bashrc @@ -139,8 +139,9 @@ alias mpg123="mpg123 -C -v --title" export PLAYER="mpg123 -C -v --title" null type screen && alias screen="screen -e^z^z" alias zcd="cd \`zenity --file-selection --directory\`" -null type gtags && alias gtags="gtags -v" -null type htags && alias htags="htags -ansxF" +null type gtags && alias gtags="gtags --verbose" +null type htags && alias htags="htags --xhtml --symbol --line-number \ +--frame --alphabet --verbose" alias pad=notepad null type gedit && alias pad=gedit