Retourner au contenu associé (entrée de forum : Conversion d'heure en bash)
Posté par tgl le 07 février 2006 à 22:43. En réponse au message Conversion d'heure en bash. Évalué à 5.
% ps -p 1 -o etime ELAPSED 1-23:54:12
#!/bin/bash PTIME=$(ps -p ${1} -o etime | tail -n 1) if [[ "$PTIME" =~ "(((([0-9]+)-)?([0-9]+):)?([0-9]+):)?([0-9]+)$" ]] ; then DD=${BASH_REMATCH[4]:-0} HH=${BASH_REMATCH[5]:-0} MM=${BASH_REMATCH[6]:-0} SS=${BASH_REMATCH[7]} (( TOTAL = (((DD * 24 + HH) * 60 + MM) * 60) + SS )) echo "Elapsed seconds for PID ${1}: ${TOTAL}" else echo "Erreur !" >&2 fi
% /tmp/ptime 1 Elapsed seconds for PID 1: 172456 % /tmp/ptime 4052 Elapsed seconds for PID 4052: 1292
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Et les jours aussi
Posté par tgl . En réponse au message Conversion d'heure en bash. Évalué à 5.
#!/bin/bash PTIME=$(ps -p ${1} -o etime | tail -n 1) if [[ "$PTIME" =~ "(((([0-9]+)-)?([0-9]+):)?([0-9]+):)?([0-9]+)$" ]] ; then DD=${BASH_REMATCH[4]:-0} HH=${BASH_REMATCH[5]:-0} MM=${BASH_REMATCH[6]:-0} SS=${BASH_REMATCH[7]} (( TOTAL = (((DD * 24 + HH) * 60 + MM) * 60) + SS )) echo "Elapsed seconds for PID ${1}: ${TOTAL}" else echo "Erreur !" >&2 fiTest :