#!/bin/sh # # 2014 Daniel Heule (hda at sfs.biz) # 2014 Thomas Oettli (otho at sfs.biz) # # This file is part of cdist. # # cdist is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation, either version 3 of the License, or # (at your option) any later version. # # cdist is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License # along with cdist. If not, see . # # # FIXME: other system types (not linux ...) os=$("$__explorer/os") case "$os" in "macosx") system_profiler SPHardwareDataType | grep "Number of Processors" | awk -F ': ' '/Number of Processors/ {print $2}' ;; *) if [ -r /proc/cpuinfo ]; then sockets=$(grep "physical id" /proc/cpuinfo | sort -u | wc -l) if [ "${sockets}" -eq 0 ]; then sockets=$(grep -cE "^processor\s+:" /proc/cpuinfo) fi echo "${sockets}" fi ;; esac