Comments on: WP-Terminal

By: Serge

Serge — Thu, 18 Mar 2010 16:11:30 +0000

Thanks for this post, I was looking for information like this.

By: tw

tw — Sun, 06 Dec 2009 16:09:35 +0000

nice plugin! good for Linuxers.

By: Ecarrion

Ecarrion — Wed, 02 Dec 2009 06:27:40 +0000

I have started to use it on my blog to, Nice Work.

By: tash

tash — Tue, 01 Dec 2009 21:24:41 +0000

@rudson
I’ve been using wp-terminal for a while, but I just replaced the wp-terminal.php from rudson’s modifications and the [prompt] replacement was one of the things I really wanted in the plugin
the ‘color’ option needs some work though. I might add some updates of my own to this plugin soon

By: rudson

rudson — Sun, 26 Jul 2009 18:13:50 +0000

Hello again,

I made some more changes to its plugin and packaged it in http://rra.etc.br/linux/wp/wp-terminal.0.3.zip

The changes were:

- Added the option “color” to color the prompt (like gentoo-linux prompt). The possible values are “true/false”, with the default “false”;

- Now the plugin replaces the occurrence of the key [prompt] for the $prompt;

- Put the $prompt string in bold to highlight.

- Remove blank lines from the beginning and end of

 block. This allows you to create code as:

ls-la
total 788
drwxr-xr-x 3 rudson users 4096 2009-07-26 14:55. /
drwxr-xr-x 4 rudson users 48 2009-07-24 14:35 .. /
-rw-r - r - 1 rudson users 207679 2009-07-24 11:56 category-icons.2.1.zip

but not put blank lines at the beginning or end of the block of commands.

These changes were made by my friend Almir Mendes (m3nd3s@gmail.com) and other minor changes by me (rudsonalves@rra.etc.br).

By: rudson

rudson — Sun, 26 Jul 2009 12:51:29 +0000

Add change prompt from user root:

if ($user == ‘root’) {
$prompt = $user.”@”.$computer.”:# “;
} else {
$prompt = $user.”@”.$computer.”:$ “;
}

By: Mariano

Mariano — Fri, 17 Jul 2009 15:48:05 +0000

Hi Pablo! Glad you liked it.

Even it’s in my plans to add a config page, I don’t know when I’ll be able to do it. In the meanwhile, you can edit wp-terminal.php and modify the defaults in lines 85 and 87 as a workaround

By: J. Pablo Fernández

J. Pablo Fernández — Fri, 17 Jul 2009 15:46:28 +0000

@J. Pablo Fernández Nevermind, disregard that comment.

By: J. Pablo Fernández

J. Pablo Fernández — Fri, 17 Jul 2009 15:41:44 +0000

The documentation says that we should add an id=”terminal” to each pre, but ids should be unique so you either end up with only one terminal per post, or with broken HTML. It should be class, not id, for the argument.

By: J. Pablo Fernández

J. Pablo Fernández — Fri, 17 Jul 2009 10:56:48 +0000

Excellent plug in! Thank you very much for making it!

I have a feature request. Could you make the default username and computer globally configurable in a settings section on the WordPress configuration, so that I don’t have to put them everywhere except where I want a different one and still have a nice username and computer on my web site.