zsh: use built-in `time`, and enable (uncomment) nix
authorAmin Bandali <amin@aminb.org>
Tue, 26 Dec 2017 00:55:45 +0000 (19:55 -0500)
committerAmin Bandali <amin@aminb.org>
Tue, 26 Dec 2017 00:55:45 +0000 (19:55 -0500)
zsh/.zprofile
zsh/.zshrc

index a5786c3..e1a2700 100644 (file)
@@ -22,4 +22,4 @@ export PVS_LIBRARY_PATH="$HOME/usr/build/pvs/nasalib"
 export MOZ_USE_XINPUT2=1
 
 
- #if [ -e /home/amin/.nix-profile/etc/profile.d/nix.sh ]; then . /home/amin/.nix-profile/etc/profile.d/nix.sh; fi # added by Nix installer
+if [ -e /home/amin/.nix-profile/etc/profile.d/nix.sh ]; then . /home/amin/.nix-profile/etc/profile.d/nix.sh; fi # added by Nix installer
index 75126ac..d01339f 100644 (file)
@@ -3,8 +3,8 @@
 #export WORDCHARS='*?-[]~=&;!#$%^(){}<>'
 export WORDCHARS='*?[]~=&;!#$%^(){}<>'
 
-disable -r time       # disable shell reserved word
-alias time='time -p'  # -p for POSIX output
+#disable -r time       # disable shell reserved word
+#alias time='time -p'  # -p for POSIX output
 
 # rehash if last command was pacaur or pacman
 # (so that zsh picks up changes in $PATH immediately)