br...@host:/etc/apt/sources.list.d$ sudo mousepad ddebs.list (pasted here ddebs repo line) br...@host:/etc/apt/sources.list.d$ sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 428D7C01 5E0577F2 (procedure above worked fine)
Now I'm doing a bit different, so I can have several files without risking supersed'em. br...@host:~$ gdb --pid `pidof xfce4-clipman-plugin` 2>&1 | tee gdb- xfce-clipman-plugin-`date +%Y-%m-%d--%H\:%M\:%S`.txt I'll work a bit on that backtracing script to make it accept a PID instead of running a program. -- Clipman died unexpectedly https://bugs.launchpad.net/bugs/546998 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
