Ori.livneh has uploaded a new change for review.
https://gerrit.wikimedia.org/r/169537
Change subject: update my (=ori) dotfiles
......................................................................
update my (=ori) dotfiles
Change-Id: I26085e38d288b06781117c8d8856e81a7d0f8ae7
---
M modules/admin/files/home/ori/.bash_profile
1 file changed, 1 insertion(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/37/169537/1
diff --git a/modules/admin/files/home/ori/.bash_profile
b/modules/admin/files/home/ori/.bash_profile
index c24cb03..9e45dd6 100644
--- a/modules/admin/files/home/ori/.bash_profile
+++ b/modules/admin/files/home/ori/.bash_profile
@@ -56,6 +56,7 @@
repackage() { sudo dpkg-buildpackage -b -uc; }
psmem() { sudo ps_mem.py "${@}"; }
where() { find . -iname \*"$*"\* ; }
+reqs() { curl -s 127.0.0.1/server-status | grep -Po '\d+(?= requests
currently being processed)'; }
localcurl() {
for var; do [[ $var == */* ]] && url="${var#*//}" || args+=("$var"); done
--
To view, visit https://gerrit.wikimedia.org/r/169537
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I26085e38d288b06781117c8d8856e81a7d0f8ae7
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Ori.livneh <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits