diff options
| -rw-r--r-- | peda.install | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/peda.install b/peda.install index 05aceab2b8ce..3614bcf9b31d 100644 --- a/peda.install +++ b/peda.install @@ -1,8 +1,8 @@ post_install() { - echo " + echo " >>> enable PEDA per user via: >>> echo 'source /usr/share/peda/peda.py' > ~/.gdbinit - " + " } post_upgrade() { |