Orkut Gmail Calendar Documents Web more »
Recently Visited Groups | Help | Sign in
Google Groups Home
continue & ignoring tasks
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
  1 message - Collapse all  -  Translate all to Translated (View all originals)
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
schettino72  
View profile  
 More options Oct 30 2009, 3:48 pm
From: schettino72 <schettin...@gmail.com>
Date: Fri, 30 Oct 2009 03:18:28 -0700 (PDT)
Local: Fri, Oct 30 2009 3:48 pm
Subject: continue & ignoring tasks
Hi,

Quick intro of 2 features I added recently into trunk.

By default doit will halt its execution whenever a task fails. There
was no execute the remaining tasks from a group (or all of them) after
the failing one. Of course you could still execute them
individually...

continue
======

Now you can force doit to execute all specified tasks even if some of
them fails. Just use the "continue" flag.

$ doit --continue

ignore
=====

But lets say you want to keep the behavior of stopping execution on
task failure. And that you just want to ignore a task.

You can ignore it by using the "ignore" sub-command

$ doit ignore task_name task2_name

now when you run that task you will get a "!!!" before its name. It
will be ignored in all subsequent runs until you forget it:

$ doit forget task_name

Thats all, hope you will also this useful.

Cheers,
  Eduardo


    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2010 Google