Proposals for the "less live build" pull request #960

Merged
mweimann merged 3 commits from feature/dev-less-reinhard into feature/dev-less 3 years ago
reinhard commented 3 years ago
Collaborator

See the three separate commits included in this PR.

Note: when this is merged into master, the crontab on the server (claus) must be adapted to include the "--build-env fsfe.org" command line parameter!

See the three separate commits included in this PR. **Note: when this is merged into master, the crontab on the server (claus) must be adapted to include the "--build-env fsfe.org" command line parameter!**
Owner

Fine with me, a build flag really seems to be a nice solution as long as the development env is the default one

Fine with me, a build flag really seems to be a nice solution as long as the development env is the default one
Owner

@mweimann please feel free to merge as you like :)

@mweimann please feel free to merge as you like :)
mweimann self-assigned this 3 years ago
Collaborator

It's okay for me. Just one question: there is no difference between the build environments "fsfe.org" and "test.fsfe.org" (yet)?

@reinhard is lessc available on the server?

It's okay for me. Just one question: there is no difference between the build environments "fsfe.org" and "test.fsfe.org" (yet)? @reinhard is `lessc` available on the server?
Poster
Collaborator

@mweimann yes exactly, there is no difference yet, but whenever we want to make a difference, we can check that variable.

And yes, lessc is available on the server.

Please ping me in Jabber when you merge so I can add the command line options in the crontab at the same time as you do the merge.

@mweimann yes exactly, there is no difference yet, but whenever we want to make a difference, we can check that variable. And yes, lessc is available on the server. Please ping me in Jabber when you merge so I can add the command line options in the crontab at the same time as you do the merge.
mweimann closed this pull request 3 years ago
mweimann deleted branch feature/dev-less-reinhard 3 years ago
the build was successful
The pull request has been merged as 318e0c8400.
Sign in to join this conversation.
Loading…
There is no content yet.