Skip to main content

Posts

Showing posts from 2014

How to restore sources.list file on Ubuntu

I recently messed up with my Ubuntu 12.04 /etc/apt/sources.list file. In order to restore it you need to run software-properties-gtk This will cause a window to appear, I have chosen only Canonical-supported free and open-source software(main), you can choose other options you want. This adds the following line to my blank/previously in-existent /etc/apt/sources.list deb http://archive.ubuntu.com/ubuntu precise main Now, run apt-get update and other apt-get commands as usual.

Debugging PHP Extension Developed in C/C++ using GDB

Launch PHP with GDB  gdb /etc/bin/php GNU gdb (GDB) 7.4.1-debian Copyright (C) 2012 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law.  Type "show copying" and "show warranty" for details. This GDB was configured as "x86_64-linux-gnu". For bug reporting instructions, please see: <http://www.gnu.org/software/gdb/bugs/>... Reading symbols from /etc/bin/php...done. (gdb) Use gdb as if you are using php interactive console (gdb) run -r 'print phpinfo();'