Commit graph

4490 commits

Author SHA1 Message Date
Paul Gauthier
c6074c16f3 copy 2024-06-05 21:17:50 -07:00
Paul Gauthier
dc66f8e8e3 copy 2024-06-05 21:17:41 -07:00
Paul Gauthier
220ae44725 copy 2024-06-05 21:16:18 -07:00
Paul Gauthier
9437fb28c4 removed configargparse.YAMLConfigFileParser 2024-06-05 21:14:54 -07:00
Paul Gauthier
01f1e62269 split up install 2024-06-05 21:13:56 -07:00
Paul Gauthier
7bd8d26f95 copy 2024-06-05 21:05:15 -07:00
Paul Gauthier
f8b30e0703 added .env docs 2024-06-05 20:58:34 -07:00
Paul Gauthier
0b7bee8712 repo-map 2024-06-05 20:55:41 -07:00
Paul Gauthier
c5e127d6fa Broke apart llms 2024-06-05 20:50:55 -07:00
Paul Gauthier
65f80e965f copy 2024-06-05 20:32:45 -07:00
Paul Gauthier
1063b6360e copy 2024-06-05 20:29:58 -07:00
Paul Gauthier
0d9150c77b coq for languages.md 2024-06-05 20:24:19 -07:00
Paul Gauthier
e3cc69d0c8 coq for in-chat commands 2024-06-05 20:10:48 -07:00
Paul Gauthier
47346af823 aider: Set ARG based on the presence of a command line argument.
# Aider chat conversation:

USER: if no cmd line arg, set ARG=-r otherwise set ARG=$1

ASSISTANT: Here is the required change to set `ARG` based on the presence of a command line argument:

scripts/update-docs.sh
```bash
<<<<<<< SEARCH
# exit when any command fails
set -e

cog $ARG website/index.md
cog $ARG website/docs/usage.md
=======
# exit when any command fails
set -e

if [ -z "$1" ]; then
  ARG=-r
else
  ARG=$1
fi

cog $ARG website/index.md
cog $ARG website/docs/usage.md
>>>>>>> REPLACE
```
2024-06-05 19:57:19 -07:00
Paul Gauthier
2c50455000 Updated cog commands in update-docs.sh script to use a variable for arguments. 2024-06-05 19:57:18 -07:00
Paul Gauthier
5ea4e506a6 cog to update index.md 2024-06-05 19:47:08 -07:00
Paul Gauthier
6f9e0ce37f cog to update usage.md 2024-06-05 19:43:24 -07:00
Paul Gauthier
a857cbb7d1 added cmd line args 2024-06-05 16:59:30 -07:00
Paul Gauthier
c0700161bc copy 2024-06-05 16:25:11 -07:00
Paul Gauthier
9de32c88c3 ignore README for actions 2024-06-05 16:14:21 -07:00
Paul Gauthier
6c4945794a copy 2024-06-05 16:13:13 -07:00
Paul Gauthier
066325d093 copy 2024-06-05 16:05:33 -07:00
Paul Gauthier
0effca7e88 removed extra paths-ignore 2024-06-05 15:58:07 -07:00
Paul Gauthier
cc8151e3b2 aider: Add paths-ignore condition under the push event in workflows to prevent running if only files in the website/ subtree are changed.
# Aider chat conversation:

USER: do we need that under the `push:` too?

ASSISTANT: Yes, we should add the `paths-ignore` condition under the `push` event as well to ensure the workflows do not run if only files in the `website/` subtree are changed.

Here are the updated *SEARCH/REPLACE* blocks:

.github/workflows/windows-tests.yml
```yaml
<<<<<<< SEARCH
  pull_request:
=======
  pull_request:
    paths-ignore:
      - 'website/**'
>>>>>>> REPLACE
```

.github/workflows/windows-tests.yml
```yaml
<<<<<<< SEARCH
  push:
=======
  push:
    paths-ignore:
      - 'website/**'
>>>>>>> REPLACE
```

.github/workflows/docker-build-test.yml
```yaml
<<<<<<< SEARCH
  pull_request:
=======
  pull_request:
    paths-ignore:
      - 'website/**'
>>>>>>> REPLACE
```

.github/workflows/docker-build-test.yml
```yaml
<<<<<<< SEARCH
  push:
=======
  push:
    paths-ignore:
      - 'website/**'
>>>>>>> REPLACE
```

.github/workflows/ubuntu-tests.yml
```yaml
<<<<<<< SEARCH
  pull_request:
=======
  pull_request:
    paths-ignore:
      - 'website/**'
>>>>>>> REPLACE
```

.github/workflows/ubuntu-tests.yml
```yaml
<<<<<<< SEARCH
  push:
=======
  push:
    paths-ignore:
      - 'website/**'
>>>>>>> REPLACE
```
2024-06-05 15:57:29 -07:00
Paul Gauthier
a10077f6c9 aider: Ensure workflows do not run if only files in the website/ subtree are changed.
# Aider chat conversation:

USER: these workflows currently run on any changes to the main branch; they don't need to run if only files in the wubsite/ subtree are changed

ASSISTANT: To ensure the workflows do not run if only files in the `website/` subtree are changed, we can add a `paths-ignore` condition to each workflow. Here are the changes:

.github/workflows/windows-tests.yml
```yaml
<<<<<<< SEARCH
  pull_request:
=======
  pull_request:
    paths-ignore:
      - 'website/**'
>>>>>>> REPLACE
```

.github/workflows/docker-build-test.yml
```yaml
<<<<<<< SEARCH
  pull_request:
=======
  pull_request:
    paths-ignore:
      - 'website/**'
>>>>>>> REPLACE
```

.github/workflows/ubuntu-tests.yml
```yaml
<<<<<<< SEARCH
  pull_request:
=======
  pull_request:
    paths-ignore:
      - 'website/**'
>>>>>>> REPLACE
```
2024-06-05 15:56:58 -07:00
Paul Gauthier
09a4088e7f code font size and copy 2024-06-05 15:55:05 -07:00
Paul Gauthier
b7e025898d noop 2024-06-05 15:18:13 -07:00
Paul Gauthier
25dea5585a noop 2024-06-05 15:17:23 -07:00
Paul Gauthier
7202c30d8b exclude: vendor 2024-06-05 15:08:53 -07:00
Paul Gauthier
a37f8f5e95 removed source:, added repository: 2024-06-05 15:04:17 -07:00
Paul Gauthier
4afc0be2e2 updated pages.yml 2024-06-05 14:53:06 -07:00
Paul Gauthier
69d6993871 added pages workflow 2024-06-05 14:45:22 -07:00
Paul Gauthier
92b559d9b9 cleanup 2024-06-05 14:40:17 -07:00
Paul Gauthier
ca3e8aede4 cleanup 2024-06-05 14:39:53 -07:00
Paul Gauthier
ecfd272141 copy 2024-06-05 14:36:59 -07:00
Paul Gauthier
e9c31d04f7 copied README into website 2024-06-05 14:28:53 -07:00
Paul Gauthier
56519361e2 move into website/ 2024-06-05 14:28:39 -07:00
Paul Gauthier
5a4d38418d no frontmatter readme 2024-06-05 14:10:59 -07:00
Paul Gauthier
8c77cf63fd Adapted content for just the docs 2024-06-05 12:29:32 -07:00
Paul Gauthier
1787bf4b5b make example chat transcripts into children 2024-06-05 10:52:09 -07:00
Paul Gauthier
100e1a6b16 add aux links 2024-06-05 10:51:58 -07:00
Paul Gauthier
8773e1e60b move default to head-custom 2024-06-05 10:37:26 -07:00
Paul Gauthier
af84441715 launch into bash 2024-06-05 10:30:02 -07:00
Paul Gauthier
9ff44cbf39 moved sass 2024-06-05 10:29:48 -07:00
Paul Gauthier
bc5df03b3d roughed in just-the-docs 2024-06-05 10:17:50 -07:00
Paul Gauthier
46b953ebeb working local build of gh pages 2024-06-05 09:23:28 -07:00
Paul Gauthier
72493f0920 copy 2024-06-05 08:13:31 -07:00
Paul Gauthier
13007ded92 exclude more from jekyll 2024-06-05 08:12:39 -07:00
Paul Gauthier
98e599f62c aider: Excluded the _posts/OLD directory to resolve file conflicts during Jekyll build.
# Aider chat conversation:

USER: didn't work: bash-5.1# jekyll build
ruby 3.1.1p18 (2022-02-18 revision 53f5fc4236) [x86_64-linux-musl]
Configuration file: /srv/jekyll/_config.yml
            Source: /srv/jekyll
       Destination: /srv/jekyll/_site
 Incremental build: disabled. Enable with --incremental
      Generating...
          Conflict: The following destination is shared by multiple files.
                    The written file may end up with unexpected contents.
                    /srv/jekyll/_site/2024/05/13/models-over-time.html
                     - /srv/jekyll/_posts/2024-05-13-models-over-time.md
                     - /srv/jekyll/_posts/OLD/2024-05-13-models-over-time.md

          Conflict: The following destination is shared by multiple files.
                    The written file may end up with unexpected contents.
                    /srv/jekyll/_site/2024/05/22/swe-bench-lite.html
                     - /srv/jekyll/_posts/2024-05-22-swe-bench-lite.md
                     - /srv/jekyll/_posts/OLD/2024-05-22-swe-bench-lite.md

ASSISTANT: The issue is that Jekyll is detecting multiple files that would generate the same output file, causing a conflict. This is happening because the `"**/OLD"` exclude pattern is not working as expected.

To fix this, we need to change the exclude pattern to explicitly exclude the `_posts/OLD` directory.

Here is the *SEARCH/REPLACE* block to make that change:

_config.yml
```yaml
<<<<<<< SEARCH
exclude:
  - tmp.benchmarks
  - "**/OLD"
=======
exclude:
  - tmp.benchmarks
  - _posts/OLD
>>>>>>> REPLACE
```

This will tell Jekyll to specifically exclude the `_posts/OLD` directory and avoid the file conflicts.
2024-06-05 08:04:41 -07:00
Paul Gauthier
abc94456ae aider: Excluded all directories named "OLD" from the Jekyll build.
# Aider chat conversation:

USER: can we exclude all dirs named OLD?

ASSISTANT: Here is the change to exclude all directories named "OLD" from the Jekyll build:

_config.yml
```yaml
<<<<<<< SEARCH
exclude:
  - tmp.benchmarks
=======
exclude:
  - tmp.benchmarks
  - "**/OLD"
>>>>>>> REPLACE
```

This uses a glob pattern `**/OLD` to exclude any directory named "OLD" at any level in the directory tree.
2024-06-05 08:03:51 -07:00