yanyingwang

/* ~/.config/gtk-3.0/gtk.css */

/*
https://askubuntu.com/questions/221291/remove-ugly-fat-bazel-from-gnome-terminal-with-multiple-tabs
https://www.preining.info/blog/2020/03/de-uglify-gtk3-tabs-of-terminals/

https://bbs.archlinux.org/viewtopic.php?id=221876
https://wiki.archlinux.org/title/Terminator#GTK.2B_customization

*/

yanyingwang

@(define-syntax (examples/racket-input stx)
    (syntax-case stx ()
    [(_ content ...)
    #'(begin
       (linebreak)
       (linebreak)
       (bold "Examples:")
       (racketinput content) ...)]))

@examples/racket-input[

yanyingwang

# lib/tasks/db_pull.rake
# set below first on mysql server:
# mysql_config_editor set --login-path=local --host=localhost --user=root --password
#
#
namespace :db do
  desc 'Pull production db to development'
  task :pull => [:dump, :restore]

  task :dump do

yanyingwang

require 'mina/bundler'
require 'mina/rails'
require 'mina/git'
# require 'mina/rbenv'  # for rbenv support. (http://rbenv.org)
require 'mina/rvm'    # for rvm support. (http://rvm.io)
require 'mina/puma'
require 'mina/nginx'


# Basic settings:

yanyingwang

#!/usr/bin/env bash
#
# Find and view it at link here:
# https://github.com/wyying/bash_scripts/blob/master/tools/ubuntu-bug1310346-resolve.sh
#
# Download and update it at link here:
# https://raw.githubusercontent.com/wyying/bash_scripts/master/tools/ubuntu-bug1310346-resolve.sh
#
#
#

yanyingwang

#!/usr/bin/env bash

production=172.11.22.33
port=8080
apphome=/home/web/rails-demo

current_ip=$(/sbin/ip a s|sed -ne '/127.0.0.1/!{s/^[ \t]*inet[ \t]*\([0-9.]\+\)\/.*$/\1/p}' |grep 172)


make_sure_production() {