diff options
author | Charlie39 <charlie39@users.noreply.github.com> | 2020-04-23 01:45:53 +0530 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-22 16:15:53 -0400 |
commit | 18113aad1a0f50f8596486f64332eed859a79813 (patch) | |
tree | fec6d9625bf0756cf1e237c5afe872a77da9acc7 /.config%2525253fid%2525253d8dc3f78a7d5ed58a223503a33e09812bf9dff1f2%25253fid%25253dde70c89f4e76b8ba3ea3c79a7e46d04a0af65a51%253fid%253d5d59b3927da16f589dfb961e54a86e6f14a480d6%3fid%3d349668f423542119770d2deb5e815442e4b1fa0d?id=18113aad1a0f50f8596486f64332eed859a79813 | |
parent | 933e4149d350f0c73a003a94a6cee45f277a6c17 (diff) |
Replaced pgrep with pidof (#592)
* dwm compliant
revised PR
* replaced pgrep with pidof
because it is faster!
* Update music
Diffstat (limited to '.config%2525253fid%2525253d8dc3f78a7d5ed58a223503a33e09812bf9dff1f2%25253fid%25253dde70c89f4e76b8ba3ea3c79a7e46d04a0af65a51%253fid%253d5d59b3927da16f589dfb961e54a86e6f14a480d6%3fid%3d349668f423542119770d2deb5e815442e4b1fa0d?id=18113aad1a0f50f8596486f64332eed859a79813')
0 files changed, 0 insertions, 0 deletions