jan-koch

#! /bin/bash

CONTAINER=$1
SEARCH=$2
REPLACE=$3


# Dump the file
DUMP=$(docker exec $CONTAINER wp db export --add-drop-table --porcelain)

jan-koch

pipeline {
    agent any

    tools {
        ant 'ant'
    }

    // Pull the repo first.
    stages {
        stage( 'Checkout Repo' ) {

jan-koch

; This is a sample phploy.ini file. You can specify as many
; servers as you need and use normal or quickmode configuration.
;
; NOTE: If a value in the .ini file contains any non-alphanumeric
; characters it needs to be enclosed in double-quotes (").

; The server names in the brackets need to match the server names
; you reference in your Jenkinsfile.

[production]

jan-koch

pipeline {
    agent any
    // Pull the repo first.
    stages {
        stage( 'Checkout Repo' ) {
            steps {
                checkout scm
            }
        }
        stage( 'Deploy' ) {

jan-koch

// Install PHPloy in your project
composer require "banago/phploy"

// Initialize PHPloy in the project folder
phploy --init

jan-koch

// First add the repository key to the system.
wget -q -O - https://pkg.jenkins.io/debian/jenkins.io.key | sudo apt-key add -

// Append the Debian repository to your server's sources.list
sh -c 'echo deb http://pkg.jenkins.io/debian-stable binary/ > /etc/apt/sources.list.d/jenkins.list'

// Update your package index
apt update

// Run an upgrade

jan-koch

version: '3.2'
services:
 db:
  image: mysql:5.7
  volumes:
   - db_data:/var/lib/mysql
  restart: on-failure
  environment:
   # Grab this data from wp-config.php
   # TODO: Update DB_HOST in wp-config.php to "db:port"

jan-koch

#! /usr/bin/bash

NAME=$1
TYPE=$2

echo "Creating the repository"
gh re --browser false --new "$NAME" --type "$TYPE"

mkdir "$NAME"
cd "$NAME"

jan-koch

#! /usr/bin/bash

NAME=$1
TYPE=$2

echo "Creating the repository"
gh re --browser false --new "$NAME" --type "$TYPE"

mkdir "$NAME"
cd "$NAME"

jan-koch

jQuery(function ($) {
    $(window).scroll(function () {
        var yPos = ($(window).scrollTop());
        if (yPos > 200) { // show sticky menu after screen has scrolled down 200px from the top.
            // add a custom class to the site header for custom styling.
            $(".site-header").addClass("is-sticky");
          
            // if you feel brave, switch logos (e.g. to match different background colors).
            $("img.custom-logo").attr("src", "http://localhost/wp-content/path/to/sticky-logo.svg");
        } else {