Hashar has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/310794

Change subject: admin: update hashar gdbinit script
......................................................................

admin: update hashar gdbinit script

Steal bits from ori gdbinit that make it slightly fancier.

Change-Id: Id4c9f15ca8bdf521a8c799f23923e7886f151d68
---
M modules/admin/files/home/hashar/gdbinit
1 file changed, 20 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet 
refs/changes/94/310794/1

diff --git a/modules/admin/files/home/hashar/gdbinit 
b/modules/admin/files/home/hashar/gdbinit
index 6ef125e..64640ae 100644
--- a/modules/admin/files/home/hashar/gdbinit
+++ b/modules/admin/files/home/hashar/gdbinit
@@ -1,3 +1,23 @@
+# vim:set ft=gdb:
+#
+# This file was provisioned by Puppet.
+
+# Picked from ori modules/admin/files/home/ori/.gdbinit
+set verbose off
+set print pretty on
+set prompt (\001\033[32m\002gdb\001\033[0m\002)\040
+
+# Don't pause output
+set height 0
+set width 0
+
+#
+# Below is Zend PHP gdbinit file
+#
+# Latest version can be retrieved from
+# http://git.php.net/?p=php-src.git;a=blob;f=.gdbinit;hb=HEAD
+#
+
 define set_ts
        set $tsrm_ls = $arg0
 end

-- 
To view, visit https://gerrit.wikimedia.org/r/310794
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Id4c9f15ca8bdf521a8c799f23923e7886f151d68
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Hashar <has...@free.fr>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to