PushPull

INTRODUCTION
INSTALLATION
USEAGE
HISTORY
KNOWN BUGS
THE FUTURE

Configuring PUSHPULL
Clicking on the CONFIGURE button brings up a new window with a number of options to control aspects of PushPull and Puller:

PushPull Config
Snapshot taken on WB using VisualPrefs

PushPull is fully fontsensitive and will adapt its windows to whatever font size you chose. From here you can also specify your browser of choice and edit the GMT offset.

BUTTON
SHORTCUT
DESCRIPTION
BROWSER PushPull can send the web page to the browser of your choice. By default it is set to IBROWSE. By clicking on the CONFIG button you open up a new window where you can specify the browser and its path. The current entry reads

IBROWSE:IBROWSE

Simply edit this so that it points to the location of your chosen web browser. Alternatively click on the file gadget next to the text box and use the ASL requester to find your browser.

RX PATH PushPull uses and ARexx script to send URLs to your browser for viewing. You can now configure the path where PushPull will find RX in order to run the script.
EDITOR Specifies the text editor used to edit the header and footer of the PushPull update page.
BEGIN Not Yet Implemented Click on this to edit the header of the PushPull update page.
END Not Yet Implemented Click on this to edit the footer of the PushPull update page.
FONT This allows you to specify the font name and size to be used in the PushPull and Puller windows.
GMT OFFSET This is how many hours to add or subtract from your local time in order to get GMT. Puller needs to know the time in GMT in order to check pages correctly.
ONLINE Not Yet Implemented IF this is clicked the Puller will run in ONLINE mode. In which case it will not download the updated pages, but simply make a list of them.

© Eoghann Irving 1998