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-06-23 20:53:36 +02:00
|
|
|
# übergibt gefundene dateien an vim
|
2021-06-23 20:29:09 +02:00
|
|
|
function rgv {
|
2021-06-23 20:39:16 +02:00
|
|
|
rg --files -g "*$1*" | xargs -o vim
|
2021-06-23 20:29:09 +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
|
|
|
|
|
}
|
