diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2012-12-23 21:35:04 +0100 |
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2012-12-23 21:35:04 +0100 |
| commit | af155abf8541ba899d60cde27ec586eaac56ba20 (patch) | |
| tree | 1fb54e91ea5226fae0cb08858a6acfcfaf221588 /etc | |
| parent | c7928b49021908f805798c57f3e296c0935c9474 (diff) | |
zshrc: some systems have uppercase cpuinfo. Oo
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/.zshrc | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -70,7 +70,7 @@ if (( EUID != 0)) { path+=(/sbin /usr/sbin /usr/local/sbin) } -export MAKEFLAGS=j$(grep -c '^processor' /proc/cpuinfo) +export MAKEFLAGS=j$(grep -ic '^processor' /proc/cpuinfo) if [[ -n ${commands[clang]} ]] { export CC=clang @@ -465,7 +465,7 @@ if [[ ${distro} == debian ]] { #{{{ alias dprc='sudo dpkg-reconfigure' } #}}} -if [[ ${HOST} == aneurysm ]] #{{{ +if [[ ${HOST} == flux ]] #{{{ then alias m=mutt |