) 2 ]"
if [ $gui ]; then
(
while ps | grep "$pid " >/dev/null
do
secondsComple... progresstext"
lastpercentage=0
while ps | grep "$pid " >/dev/null
do
secondsCompleted=... talled)'
if [ -z "$(ffmpeg -formats 2>/dev/null | grep ' psp mp4 format' | grep E)" ]; then
die 'Tu versión de ffmpeg no está preparada para PSP Video (Your
zt kann man sich mit Hilfe von ''udevinfo'' und ''grep'' die Serienenummer anzeigenlassen.
<code> udevinfo -a -p `udevinfo -q path -n /dev/sdc` | grep ATTRS{serial}</code>
Die Ausgabe sollte etwa so ... > udevinfo -a -p `udevinfo -q path -n /dev/sdc` | grep ATTRS{product}</code>
Jetzt erhält man eine Ausga
files were installed into /etc, you could always grep the output like this:
<code>
geek@ubuntuServ:~$ dpkg -L davfs2 | grep etc
davfs2: /etc/davfs2/secrets
davfs2: /etc/davf
code>
Check that dhcpd is running
<code>ps ax | grep dhcpd | grep -v grep</code>
If dhcpd is not running, then run it directly to get more description on the error
/us
t their user ID means nothing to me, so I have to grep the passwd file to get their full name. Then I ca... ing off.
Here's a function that can save you from grep ing the /etc/passwd file to see the user's full n... ssed a user ID or many IDs, and the function just grep s the passwd file.
Here's the function:
whois()
... se"
return 1
fi
for loop
do
_USER_NAME=`grep $loop /etc/passwd | awk -F: '{print $4}'`
if [
