Reputation
Top tag
Next privilege 125 Rep.
Vote down
Badges
2
Newest
 Teacher
Impact
~6k people reached

  • 0 posts edited
  • 0 helpful flags
  • 81 votes cast
Mar
10
comment how to pipe a mysql dump to s3cmd
@NielsKeurentjes How do you do the reverse? s3cmd get s3://bucket/file.sql.gz - | gzip -d | mysql -u root -p gives the error 'gzip: stdin: not in gzip format'
Dec
3
comment How to install/enable GMP (math functions) for PHP on Ubuntu?
In my case sudo apt-get install php5-gmp automatically updated php.ini and restarted Apache.