Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glen Mével
Iris
Commits
59280f68
Commit
59280f68
authored
Sep 15, 2020
by
Ralf Jung
Browse files
fix sed script...
wtf, sed?!??
parent
5a2a5bec
Changes
1
Hide whitespace changes
Inline
Side-by-side
CHANGELOG.md
View file @
59280f68
...
...
@@ -40,8 +40,8 @@ Note that the script is not idempotent, do not run it twice.
```
sed -i -E -f- $(find theories -name "*.v") <<EOF
# agree and L suffix renames
s/\bagree_op_inv
'
/to_agree_op_inv/g
s/\bagree_op_invL
'
/to_agree_op_inv_L/g
s/\bagree_op_inv
[']
/to_agree_op_inv/g
s/\bagree_op_invL
[']
/to_agree_op_inv_L/g
s/\bauth_auth_frac_op_invL\b/auth_auth_frac_op_inv_L/g
s/\b(excl|frac|ufrac)_auth_agreeL/\1_auth_agree_L/g
EOF
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment