substitution
efficient renaming of variables in first-order formulae
edit2: Taking the hint that de Bruijn indices might be easier to work with, I\'ve reformulated much of the internal representation of formulae to use a mixed de Bruijn representation ala Connor McBrid[详细]
2023-04-13 03:18 分类:问答Why aren't my nested lookarounds working correctly in my Perl substitution?
I have a Perl substitution which converts hyperlinks to lowercase: \'s/(?<=<a href=\")([^\"]+)(?=\")/\\L$1/g\'[详细]
2023-04-11 18:54 分类:问答Command substitution within sed expression
I\'m having little problem with bash/sed. I need to be able to use command substitution within sed expression. I have two big text files:[详细]
2023-04-11 04:36 分类:问答sed substitution with Bash variables
I am trying to change the values in a text file using sed in a Bash script with the line, sed \'s/draw($prev_number;n_)/draw($number;n_)/g\' file.txt > tmp[详细]
2023-04-11 01:53 分类:问答perl pattern matching one by one and process it
I have a string [something]text1[/something] blah blah [something]text2[/something] I need to write a Perl script to read what is in the [something] tag, process it to \"text-x\", and put it back[详细]
2023-04-10 13:32 分类:问答BASH script to pass variables without substitution into new script
As part of a system build script I have a script that creates various files and configurations. However one part of the build script creates a new script that contains variables that I don\'t want re[详细]
2023-04-07 04:35 分类:问答How do I replace vowels in a list with underscore?
I have a list of characters (basically a word) and I want to substitute the vowels in the word by underscore [\'_\'] and return a new list.[详细]
2023-04-07 01:15 分类:问答Replace the very first matching pattern on later lines in Vim
I have a long text where some lines need to be repeated later. I put tags like this in the text: {F1}text need to be repeated later{/F1}[详细]
2023-04-03 20:58 分类:问答Perl ignore whitespace on replacement side of regular expression substitution
Suppose I have $str = \"onetwo\". I would like to write a reg ex substitution command that ignores whitespace (which makes it more readable):[详细]
2023-04-02 08:05 分类:问答replace newline character in bash variable?
I am tr开发者_如何学Goying to understand the \"cdargs-bash.sh\" script with cdargs packages. And I have a question about in the following function:[详细]
2023-03-31 01:19 分类:问答