Sous Linux,
"echo %date% %time% %COMPUTERNAME%"
retour
%date% %time% %COMPUTERNAME%
ne pas
Fri 09/24/2010 10:46:25.42 WXP2010043001
comme le fait Windows. Je dois pouvoir le faire pour les journaux que je configure.
Utilisez la commande date avec un format comme celui-ci:
date +"%m/%d/%Y %H:%M:%S $HOSTNAME"
Pour obtenir des centièmes de secondes, vous devrez peut-être effectuer un traitement de texte comme celui-ci:
DATE=date +'%m/%d/%Y %H:%M:%S.%N'
DATE=${DATE%???????}
DATE="$DATE $HOSTNAME"
C'est parce que la date offre des secondes, des nanosecondes et rien entre les deux!
Tu peux faire:
dt=$(date)
echo $dt $HOSTNAME
echo $ (date '+% Y% b% d% H:% M') Votre sortie $ HOSTNAME
Les sorties:
01 nov. 2013 09:11 Votre sortie PEGASUS-SYDNEY-CL2
il est également possible d'utiliser des caractères backticks pour cela:
echo `date` `hostname`
ou avec une date (localisée) formatant:
echo `date +"%a %x %X"` `hostname`
En complément: le caractère de pourcentage n'est pas utilisé pour référencer des variables sur un shell Linux. Vous devez utiliser le signe dollar pour cela.
Vous devriez probablement lire une introduction à Bash ( ici )
Plusieurs personnes ont fourni des réponses basées sur date
, mais votre question nécessite le nom du jour court (bien que mon installation UK Win 7 ne le fournisse pas avec la commande ECHO que vous avez spécifiée), ce que personne n'a (jusqu'à présent) adressé.
Pour l'obtenir, vous voudrez probablement inclure %a
dans la chaîne de format:
date "+%a %m/%d/%Y %H:%M:%S $HOSTNAME"
Sous Linux, il existe la commande date. Si vous n'aimez pas le format par défaut, il peut être modifié. Voir la page de manuel de date
Pour le nom d'hôte, vous pouvez utiliser la commande d'environnement hostname ou $ HOSTNAME, si elle est définie.
Avec le nom du système, c'est plus compliqué. Vous pouvez utiliser name -a, parfois il contient le nom du système d'exploitation. Certaines distributions ont également lsb-release, mais pas toutes.