[MediaWiki-commits] [Gerrit] operations/puppet[production]: admin: update hashar gdbinit script

[Dzahn (Code Review)]

Dzahn has submitted this change and it was merged.

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(-)

Approvals:
  jenkins-bot: Verified
  Dzahn: Looks good to me, approved



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: merged
Gerrit-Change-Id: Id4c9f15ca8bdf521a8c799f23923e7886f151d68
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Hashar 
Gerrit-Reviewer: Alex Monk 
Gerrit-Reviewer: Dzahn 
Gerrit-Reviewer: jenkins-bot <>

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

[MediaWiki-commits] [Gerrit] operations/puppet[production]: admin: update hashar gdbinit script

[Hashar (Code Review)]

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 

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