mas0061

name: Actions apply Node.js 20

on:
  workflow_dispatch:

jobs:
  run-other-container:
    runs-on: ubuntu-latest
    container:
      image: amazoncorretto:8u362-al2023

mas0061

#!/usr/bin/env zx

/*
 * Attension:
 *   This is a prototype and we have not actually tried Terraform import.
 * 
 * Usage:
 *   Maybe you can run it with `npx zx users.mjs`.
 *   If not, use `npm install -g zx` to install zx
 * 

mas0061

plugins {
    id 'org.jetbrains.kotlin.jvm' version '1.3.40'
}

ext {
    spek_version = '2.0.5'
    kotlin_version = '1.3.40'
}

repositories {

mas0061

git for-each-ref --sort=-committerdate refs/remotes/origin --format='%(authordate:short) %(refname)'

mas0061

/**
 * Date型を和暦の年度に変換する
 * @param date 算定する日付
 * @return 元号 + 年 + 年度をStringで返す
 */
public static String convertJpFiscalString(Date date) {
	Locale locale = new Locale("ja", "JP", "JP");
	Calendar cal = Calendar.getInstance(locale);
	cal.setTime(date);
	

mas0061

# DB名の取得
mysql -u user -ppassword -e 'show databases;' | cut -d '|' -f2- | sed 1d

# 指定したDBのテーブル名を取得
mysql -u user -ppassword -e 'show tables from hoge_db;' | cut -d '|' -f2- | sed 1d

mas0061

#!/bin/sh

i=1
prefix="dir"
curDir=$prefix$i
mkdir $curDir

for file in `ls`
do
        mv $file $curDir

mas0061

class StringClass

types
  public String = seq of char;

functions
  -- 文字列の列から、接頭辞にマッチする文字列を列で抜き出す
  -- p StringClass`returnStartsWith(["askdj", "testA", "askjtest", "Testaai", "test"], "test")
  public returnStartsWith : seq of StringClass`String * StringClass`String -> seq of StringClass`String
  returnStartsWith(aStrList, aPrefix) == 

mas0061

#!/bin/sh

if [ $# -ne 1 ]; then
  echo "usage : createMacInstaller.sh VERSION"
  exit
fi

FILES="./インストーラーに入れるファイル群ディレクトリ"
DISTXML="./Distribution.xml"
TARGET="/Applications"

mas0061

class A

instance variables
  public member : nat;
  
operations
  public A : nat ==> A
  A(n) == member := n;
  
end A