Sponsored Content
Special Forums News, Links, Events and Announcements Software Releases - RSS News Ivy C compiler 1.0 (Default branch) Post 302247167 by Linux Bot on Wednesday 15th of October 2008 06:00:02 AM
Old 10-15-2008
Ivy C compiler 1.0 (Default branch)

Ivy is a compiler and runtime library for anextended dialect of C that checks type, memory,and concurrency safety. Ivy supports the full Clanguage, and relies on a small number oflightweight annotations in the source code to keeptime and space overheads reasonable. Ivy isimplemented as a C-to-C compiler using gcc as itsbackend.License: BSD License (revised)Changes:
This is the first public release of Ivy. Itincorporates the previously available Deputy(type-safety for C) and HeapSafe(memory-management safety for C) projects. It addsa new component, SharC, which allows you to checkthat your threaded C programs share data as youintended. In particular, it prevents and/ordetects all data races. SharC is in a moreexperimental state and may impose significantruntime overheads in some programs.Image

Image

More...
 
R2E(1)							      General Commands Manual							    R2E(1)

NAME
r2e - receive RSS feeds by email SYNOPSIS
r2e [-d dir] action [options] DESCRIPTION
r2e is a simple program which you can run in your crontab. It watches RSS feeds and sends you nicely formatted email message for each new item. The program is configured by ~/.rss2email/config.py by default. To use a different config file in a different directory, you can specify the -d option before any actions. For a quick start with r2e, try these steps: r2e new your@address r2e add http://feed.url/somewhere.rss r2e run The last command should eventually be put into your crontab, if you want things be sent you automatically. It is possible to use authenticated feeds using the following syntax: r2e add http://user:password@example.com/feed ACTIONS
new [youremail] Create a new feedfile. If the second option is specified, it sets the default email address that mails are sent to. add url [youremail] Subscribe to a feed. The first option is the URL of the feed. The optional second option is the email address to send new items to. Repeat for each feed you want to subscribe to. run [--no-send] [num] Scan the feeds and send emails for new items. This can be run in a cron job. The --no-send option stops r2e from sending any email. This can be useful the first time you run it, as otherwise it would send every available story. If a number is specified, r2e will only download that feed. The list command lists the feed numbers. email yournewemail Change the default email address. list List all your currently subscribed feeds. delete n Delete a feed, using its number from the list command. pause n Temporarily ignore a feed. A paused feed won't be updated at all. unpause n Re-enable updates from a feed. opmlimport url Import feeds from an OPML file. opmlexport Export feeds to standard output, as an OPML file. CONFIGURATION
The program's behavior can be controlled via the ~/.rss2email/config.py config file. The file is a python file, so variables are set using a syntax like this: VARIABLE = "value" If the value is a number, the quotes may be omitted. Most configuration variables in the file are boolean values, where a 1 indicates the option is set, and a 0 disables it. See the example config.py file for a full list of available configuration variables. FILES
~/.rss2email/feeds.dat The database of feeds. Use r2e to add, remove, or modify feeds, do not edit it directly. ~/.rss2email/config.py If this file exists, it it read to configure the program. AUTHOR
Aaron Swartz <rss2email@aaronsw.com> R2E(1)
All times are GMT -4. The time now is 09:14 AM.
Unix & Linux Forums Content Copyright 1993-2022. All Rights Reserved.
Privacy Policy