eigengdb-git.install


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

post_install() {
  cat <<'EOF'
eigengdb installed.

To enable the printers for your user, run:
  eigengdb_register_printers

This will add a snippet to ~/.gdbinit that loads the printers.

Alternatively, add this manually to ~/.gdbinit:
  python
  __import__('eigengdb').register_eigen_printers(None)
  end
EOF
}

post_upgrade() {
  post_install
}