Skip to content

Fix some inconsistencies#831

Merged
MakisH merged 5 commits into
developfrom
inconsistencies
Jun 11, 2026
Merged

Fix some inconsistencies#831
MakisH merged 5 commits into
developfrom
inconsistencies

Conversation

@MakisH

@MakisH MakisH commented Jun 11, 2026

Copy link
Copy Markdown
Member

This PR:

  • Changes some scripts that were still setting #!/bin/sh to #!/usr/bin/env bash
  • Changes how some FEniCS and FEniCSx cases were setting venv
  • Cleans up the various .gitignore files, adding some specifications to the central .gitignore, and keeping the individual files close to their cases.

@MakisH MakisH merged commit fd6e3ae into develop Jun 11, 2026
1 check passed
@MakisH MakisH deleted the inconsistencies branch June 11, 2026 18:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant