path: root/community/gtkwave/gtkwave.install

post_install() {
  echo 'Make sure you copy the /usr/share/gtkwave/sample.gtkwaverc file to'
  echo 'your home directory (as .gtkwaverc) or to your VCD project directory.'
  echo 'It contains the prefs for a good configuration that most people find'
  echo 'ergonomic.  It is not strictly necessary however.'
}