substitution

Let's say I have several lines like: $repeat_on = $_REQUEST['repeat_on']; $opt_days = $_REQUEST['opt_day']; $opt_days = explode(",", $opt_days); ... and so on. Let's say I use visual mode to select all the lines: how can I replace everything from = to the end of the line so it looks like: $repeat_on = NULL; $opt_days = NULL; $opt_days = NULL; With the block selected, use this substitute: s/=.*$/= NULL; The substitution regex changes each line by replacing anything between = and the end of the line, including the = , with = NULL; . The first part of the command is the regex matching what is to

Log4J appears to have an annoying restriction – at runtime, variable substitution does not appear to work. In this example File: Log4j.properties file_pattern=%d{ISO8601} %-5p %m%n log4j.rootLogger=DEBUG, FileAppender log4j.appender.FileAppender=org.apache.log4j.FileAppender log4j.appender.FileAppender.layout=org.apache.log4j.PatternLayout log4j.appender.FileAppender.layout.ConversionPattern=${file_pattern} log4j.appender.FileAppender.File=log4jtest1.log log4j.appender.FileAppender.Threshold=ERROR The FileAppender configured in the log4j.properties file produces the correct output: File:

I have an input file something like this: some line some other line another line start_delimiter interesting stuff more interesting stuff even more interesting stuff end_delimiter possibly more stuff I want to manipulate the lines between start_delimiter and end_delimiter that match a regex pattern and write the results to the input file. For example, add '//' to the beginning of the lines containing the word 'more' (as long as those lines are between the delimiters): some line some other line another line start_delimiter interesting stuff //more interesting stuff //even more interesting stuff

In the following Agda code, I have a term language based on de Bruijn indices. I can define substitution over terms in the usual de Bruijn indices way, using renaming to allow the substitution to proceed under a binder. module Temp where data Type : Set where unit : Type _⇾_ : Type → Type → Type -- A context is a snoc-list of types. data Cxt : Set where ε : Cxt _∷_ : Cxt → Type → Cxt -- Context membership. data _∈_ (τ : Type) : Cxt → Set where here : ∀ {Γ} → τ ∈ Γ ∷ τ there : ∀ {Γ τ′} → τ ∈ Γ → τ ∈ Γ ∷ τ′ infix 3 _∈_ data Term (Γ : Cxt) : Type → Set where var : ∀ {τ} → τ ∈ Γ → Term Γ τ 〈〉 :

I'm trying to annotate a plot in ggplot with relevant data from a regression model. I've followed the suggestions in this SO post and tried to modify the function to have a couple additional items in a newline in the plot. This is my attempt at a new function: lm_eqn = function(m){ eq <- substitute(italic(y) == a %.% italic(x)^b*","~~italic(r)^2~"="~r2*","~~italic(n)~"="~nn*","~~italic(p-value)~"="~pv, list(a = format(exp(coef(m)[1]), digits = 3), b = format(coef(m)[2], digits = 3), r2 = format(summary(m)$r.squared, digits = 3), nn=format(summary(m)$df[2]), pv=format(summary(m)$coefficients[,4

I'm using sized types, and have a substitution function for typed terms which termination-checks if I give a definition directly, but not if I factor it via (monadic) join and fmap. {-# OPTIONS --sized-types #-} module Subst where open import Size To show the problem, it's enough to have unit and sums. I have data types of Trie and Term , and I use tries with a codomain of Term inside Term , as part of the elimination form for sums. data Type : Set where 𝟏 : Type _+_ : Type → Type → Type postulate Cxt : Set → Set -- Every value in the trie is typed in a context obtained by extending Γ. data