index
:
toph
main
Setup and configuration for VPS and other personal server
External SSH Git service user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
scripts
/
ci-build.sh
(
follow
)
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Move scripts/ to build-aux/
EuAndreh
2021-01-10
1
-40
/
+0
|
*
ci-build.sh: Use double quotes for
EuAndreh
2020-12-10
1
-1
/
+1
|
*
ci-build.sh: Get from environment
EuAndreh
2020-12-10
1
-1
/
+1
|
*
ci-build.sh: Overwrite existing public/
EuAndreh
2020-12-02
1
-1
/
+1
|
*
ci-build.sh: Clean before running check
EuAndreh
2020-12-02
1
-1
/
+1
|
*
Build and publish TODOs.org file
EuAndreh
2020-12-02
1
-1
/
+2
|
*
with-container.sh: Call $@ with sh -c
EuAndreh
2020-12-02
1
-1
/
+1
|
*
ci-build.sh: Build only check and publish
EuAndreh
2020-12-02
1
-1
/
+1
|
*
ci-build.sh: Run all make targets in a single invocation
EuAndreh
2020-12-02
1
-2
/
+1
|
*
Rename container -> scripts/with-container.sh
EuAndreh
2020-12-02
1
-2
/
+2
|
*
ci-build.sh: Append the note instead of force replacing it.
EuAndreh
2020-12-02
1
-1
/
+1
|
*
ci-build.sh: Remove server-specific PREFIX path of logfile
EuAndreh
2020-11-29
1
-3
/
+5
|
*
ci-build.sh: Update path to $LOGFILE
EuAndreh
2020-11-29
1
-1
/
+1
|
*
Add scripts/ci-build.sh
EuAndreh
2020-11-29
1
-0
/
+38