2021-06-23 20:18:14 +02:00
|
|
|
# rg, gibt nur Dateipfade aus, sucht nur nach Dateinamen
|
|
|
|
function rgf {
|
2021-06-23 20:36:45 +02:00
|
|
|
rg --files -g "*$1*"
|
2021-06-23 20:18:14 +02:00
|
|
|
}
|
2021-07-03 11:07:55 +02:00
|
|
|
function psk {
|
|
|
|
ps -ef | grep $1 | grep -v grep | awk '{ print $2 }' | xargs kill -9
|
|
|
|
}
|
2021-08-24 08:28:27 +02:00
|
|
|
ssh() { #() ist die kurzform von function
|
2021-08-23 23:06:35 +02:00
|
|
|
tmux rename-window "$*"
|
|
|
|
command ssh "$@"
|
|
|
|
}
|