welcome: please sign in

Diff for "DaemonAdmin/Portal"

Differences between revisions 8 and 9
Revision 8 as of 2010-03-12 23:22:18
Size: 1702
Editor: RichardDarst
Comment: adjust header/footer file stuff
Revision 9 as of 2010-03-13 13:10:47
Size: 1756
Editor: AdamChlipala
Comment: Mention that wrappers are built automatically
Deletions are marked like this. Additions are marked like this.
Line 7: Line 7:
 * There are small CGI wrappers which just run compiled binaries in `~hcoop/portal/out/`. `mlt.conf` contains CGI publish path (modify this to suit your system if building locally).  * There are small CGI wrappers which just run compiled binaries in `~hcoop/portal/out/`. `mlt.conf` contains CGI publish path (modify this to suit your system if building locally).  These wrappers are generated automatically by `mlt`.

The portal source lives in module portal of our SourceForge project's CVS repository. The main check-out is in /afs/hcoop.net/user/h/hc/hcoop/portal. You should become_hcoop before modifying files in the main check-out or running any CVS commands that would modify it.

To build it yourself:

  • There are small CGI wrappers which just run compiled binaries in ~hcoop/portal/out/. mlt.conf contains CGI publish path (modify this to suit your system if building locally). These wrappers are generated automatically by mlt.

  • To recompile and publish on deleuze:

    become_hcoop
    cd ~/portal
    mlt

header.mlt and footer.mlt are built from assorted other files. Running make in a check-out directory should build them. See the Makefile for how they're built. Note that make won't publish changes that you make onto the real web sites; you must use mlt for that.

There are some subdirectories of portal that contain different web apps, like app (the source for join.hcoop.net). You must run mlt separately in any of these directories to publish changes in it.

Needed files for building:

  • hcoop_header is the one line script cat /etc/hcoop.header | sed "s/TITLE/$1/g"

  • hcoop_footer is the one line script cat /etc/hcoop.footer

  • You need /etc/hcoop.header and /etc/hcoop.footer, which are
    <html><head>
    <link rel="stylesheet" type="text/css" href="/hcoop.css" />
    <title>TITLE</title>
    </head><body>
    
    <div class="main">
    
    <div class="title">
    <img class="globe" src="/globe.gif" />
    <h1>TITLE</h1>
    </div>
    
    <div class="break"></div>

</div>

</body></html>


CategorySystemAdministration

DaemonAdmin/Portal (last edited 2018-12-01 22:19:39 by ClintonEbadi)