From 22ea814ba336a4baf92fb8f427e893a5fd565ac6 Mon Sep 17 00:00:00 2001 From: Steven Knight Date: Tue, 27 Apr 2010 15:15:23 +0000 Subject: Restore tags mistakenly deleted along with 1.5.2 code. --- doc/user/tasks.in | 3 +++ doc/user/tasks.xml | 3 +++ 2 files changed, 6 insertions(+) diff --git a/doc/user/tasks.in b/doc/user/tasks.in index bf6b5ee..8823189 100644 --- a/doc/user/tasks.in +++ b/doc/user/tasks.in @@ -53,6 +53,7 @@ filename = os.path.splitext(filename)[0]+extension import os.path filenames = [os.path.join(prefix, x) for x in filenames] + Substituting a path prefix with another one @@ -60,6 +61,7 @@ filenames = [os.path.join(prefix, x) for x in filenames] if filename.find(old_prefix) == 0: filename = filename.replace(old_prefix, new_prefix) + Filtering a filename list to exclude/retain only a specific set @@ -68,6 +70,7 @@ of extensions import os.path filenames = [x for x in filenames if os.path.splitext(x)[1] in extensions] + The "backtick function": run a shell command and capture the diff --git a/doc/user/tasks.xml b/doc/user/tasks.xml index bf6b5ee..8823189 100644 --- a/doc/user/tasks.xml +++ b/doc/user/tasks.xml @@ -53,6 +53,7 @@ filename = os.path.splitext(filename)[0]+extension import os.path filenames = [os.path.join(prefix, x) for x in filenames] </programlisting> +</example> <example> <title>Substituting a path prefix with another one @@ -60,6 +61,7 @@ filenames = [os.path.join(prefix, x) for x in filenames] if filename.find(old_prefix) == 0: filename = filename.replace(old_prefix, new_prefix) + Filtering a filename list to exclude/retain only a specific set @@ -68,6 +70,7 @@ of extensions import os.path filenames = [x for x in filenames if os.path.splitext(x)[1] in extensions] + The "backtick function": run a shell command and capture the -- cgit v0.12