Skripting Tricks:

Zeitmessung in einem Bashskript:

Um die Laufzeit eines Bashskripts zu ermitteln und auszugeben, kann wie folgt vorgegangen werden:

#!/bin/bash
before=$(date +%s)
# Start des Skripts
sleep 5 #Durch das eigentliche Skript ersetzen
# Ende des Skripts
after=$(date +%s)
echo "elapsed time:" $((after - $before)) "seconds"

Bash Tricks

Dateien mit bestimmten Inhalt finden

grep -rnwi '/Pfad/zu/Ordner/' -e 'Textschnipsel' 

sudo

Führt den vorangegangene Eingabe mit sudo aus:

sudo !!

yay pgp-check umgehen

Nicht unbedingt empfohlen, nur eine Notlösung, falls alles andere versagt. Nicht für Produktivsysteme geeignet.

yay -S --mflags --skipinteg [paketname]

Erstellt: 27.7.2019 Bearbeitet: 29.7.2019