Nice blogging tool
Performancing is a Firefox extension for blogging. It nicely integrates with the browser and makes it possible to drag and drop link from the page to the blogging editor.
Nice interface too.
December 30, 2005
October 17, 2005
file uploading problem with mediaWiki
I am using MediaWiki (the Wikipedia wiki) for some internal work.
Today one of our users had some trouble uploading a large PDF file.
I checked the wiki code and I could find any file size restriction.
It turns out that the problem does not come from MediaWiki but from the underlying PHP engine.
After googling for a bit, I discovered the existence of a magic file called php.ini with some magic variables such as memory_limit, post_max_size, upload_max_filesize.
See here for instance.
Creating the php.ini file is easy. Making Apache and PHP find it is not.
After a couple of unsuccessful attempts, here is the best way to do it:
- create a php.ini file under /etc
- create a info.php file in the root of your mediawiki, next to index.php
- restart Apache (yes, you have to)
- go to info.php and it will tell you where Apache/PHP is looking for the php.ini file
- create a symbolic link from /etc/php.ini to this folder
- restart Apache (you know the drill now)
PS: if you are like me and never remember where and how Apache was started on your machine, try this:
ps -A -o uid,comm,args | grep httpd
PPS: here is the code for info.php.
<html>
<head>
<title>PHP Test</title>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
</meta></head>
<body>
<h1>PHP Information</h1>
<p>
< ?php phpinfo(); ?>
</p>
</body>
</html>
September 2, 2005
August 18, 2005
Great tool for WordPress on the Mac
I had given up on Dashboard widgets.
They consume a lot of resources and are not very useful.
Until I find WordPressDash, a Dashboard widget to post to WordPress.
Blogging has never been so easy.
The Widget can be found here.
August 17, 2005
Adding per category RSS in your Blog
I am writing blog entries so that people can read them.
By using categories, people can selectively read what they are interested in.
By default WordPress only creates on RSS per site.
Here is a — dirty — way to have per category RSS.
You just need to edit your main page. At the end, where the RSS links are created, you need to do the following edit:
Before:
<li><a href="{bloginfo show='rss_url'}">RSS .92</a></li>
After:
<li><a href="./rss">RSS .92</a></li>
