Mercurial > code > home > repos > reposync

annotate index.html @ 24:03803832a087 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add view definition for streamed-graph viewer
author drewp@bigasterisk.com
date Tue, 29 Mar 2022 21:17:56 -0700
parents 6f38aa08408d
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
1 <!DOCTYPE html>
18
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
2 <html lang="en">
4
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
3 <head>
18
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
4 <meta charset="UTF-8" />
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
5 <meta name="viewport" content="width=device-width, initial-scale=1.0" />
4
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
6 <title>reposync</title>
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
7 <style>
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
8 body {
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
9 background: #1f1f1f;
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
10 color: white;
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
11 }
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
12 </style>
18
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
13 <script type="module" src="https://bigasterisk.com/lib/bigast/v1/loginBar.js"></script>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
14 <script type="module" src="/view/index.ts"></script>
4
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
15 </head>
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
16 <body>
18
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
17 <reposync-page></reposync-page>
4
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
18 <bigast-loginbar></bigast-loginbar>
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
19 <pre>
18
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
20 notes:
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
21
4
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
22 repo1 clean synced to github github up to date [sync now]
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
23 dirty [msg____] [commit]
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
24
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
25 repo1 is a link to my hgserve
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
26
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
27 GET /status/events
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
28
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
29 GET /recent?repo=/my/dir
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
30 GET /recent?all
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
31 GET /recent/events?repo=/my/dir|all
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
32
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
33 POST /githubSync?all
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
34 POST /githubSync?repo=/my/dir
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
35
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
36 GET /homepage -> a CE table of all changes using /recent
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
37
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
38 each event are a json message:
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
39 key: string
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
40 update: replace the data for that key
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
41 Here, keys are repo paths.
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
42
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
43 </pre>
18
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
44
4
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
45 </body>
f714a6a7842c start new web view for hgand github syncing
drewp@bigasterisk.com
parents:
diff changeset
46 </html>
18
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
47 <!--
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
48 before streamed-graph version:
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
49 template: `<div id="top">
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
50 <table>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
51 <tr :for="repo in this.repos">
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
52 <th>{repo.path}</th>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
53 <td> {repo.status.error || ''}
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
54 <span :if="repo.status.changed==0 && repo.status.unknown==0">
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
55 clean
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
56 </span>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
57 <span :else>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
58 changed {repo.status.changed}, unknown {repo.status.unknown}
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
59 </span>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
60 </td>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
61 <td :class="github: true; on: repo.github">
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
62 <span class="check" :if="repo.github">☑</span>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
63 <span class="check" :else>☐</span> github
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
64 <span :if="repo.github">
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
65 <table style="display: inline-block">
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
66 <tr><td>github latest</td><td>{repo.githubLatest.t}</td></tr>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
67 <tr><td>home latest</td><td>{repo.hgLatest.t}</td></tr>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
68 </table>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
69 </span>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
70 </td>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
71 </tr>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
72 </table>
6f38aa08408d starting over: make a web page that draws a streamed graph from collector, with plans for services to scrape the data that collector will subscribe to
drewp@bigasterisk.com
parents: 6
diff changeset
73 -->