~/.ssh/configについて

時間がないので10分で

Host: 任意のホスト名

HostName: ホスト名

Name: ユーザ名

Port: ポート番号

IdentityFile: 任意の鍵

ssh 任意のホスト名

で指定した接続が可能

以上

pandocコマンドにもろもろのオプションを食わせるスクリプト

#!usr/bin/bash

# 実行時に指定された引数の数をチェックする

function argCountCheck() {
if [ $1 -gt 2 ]; then
echo "引数の数が多すぎます" >&2
exit 1
elif [ $1 -lt 1 ]; then
echo "引数の数が少なすぎます" >&2
exit 2
else
:
fi
}

function fileFormatCheck() {
extension1=${1##*.}
extension2=${2##*.}

if [ ${extension1} != md ]; then
echo "第一引数にはmdファイルを指定してください" >&2
exit 3
fi

if [ $3 == 2 ]; then
if [ !${extension2} != html ]; then
echo "第二引数はhtml形式で指定してください" >&2
exit 4
fi
fi
}

function fileExistCheck() {
if [ ! -f $1 ]; then
echo ${1}が存在しません。
exit 5
fi
}

argCountCheck $#
fileFormatCheck $1 $2 $#
fileExistCheck $1

if [ $# == 1 ]; then
pandoc $1 -s --self-contained -t html5 -c .pandoc/css/github.css -o ${1%.*}.html
else [ $# == 2 ];
pandoc $1 -s --self-contained -t html5 -c .pandoc/css/github.css -o $2
fi

exit 0

 

以上

一定時間ごとに日付を更新するスクリプト

#!/usr/bin/bash # 自動でシステム日時が更新されてしまうので # 一定時間ごとに、指定した日付でシステム日時を更新するシェルスクリプト # 使い方: 第一引数に、設定する日付 # 第二引数に、更新するスパン[秒]を指定して使用する。 # 多分、管理者権限で実行しないと。うまく動かん。 # ctrl + C で止める。 # めんどいので入力チェックとかはしない。 # 例 changeDate.sh 09/11 5 flg=1 while [ "$flg" = 1 ] do date -s "$1" sleep "$2" done

以上