2.4 システム

2.4.1 asir-port.sh, asir-install.sh

asir-install.sh

asir-port.sh

:: これは asir の内部コマンドではない. asir をネットワークからダウンロードかつ実行するシェルスクリプト

• asir-port.sh は knoppix 専用である. このコマンドは asir のバイナリおよび FLL で配布できない部分を ftp.math.kobe-u.ac.jp よりダウンロードして /home/knoppix/.asir-tmp へセーブして, 実行する. .asirrc および .TeXmacs/plugins/ox/progs/init-ox.scm もダウンロードする.
• asir-install.sh は Debian GNU Linux / openxm-binary*.deb 専用である. asir-install.sh は asir をダウンロードして /usr/local/OpenXM/bin および /usr/local/OpenXM/lib/asir へインストールする.

ChangeLog

• これらのシェルスクリプトは knoppix/math のために 2004/2, 3 月に書かれた.
• knoppix/math は福岡大学の濱田さんが中心となり開発されている.
• OpenXM/misc/packages/Linux/Debian の下の全てのファイル (2004-2-22 から 2004-3 の末まで). ( ~taka/this03/misc-2003/A3/knoppix-03-05 (プライベートファイル) も見よ.) OpenXM/src/asir-port の下の次の各ファイル. Makefile 1.1–1.8, asir-install.sh 1.1–1.2, asir-port.sh 1.1–1.6.

2.4.2 asirgui.hnd

asirguid.hnd

:: asirgui の main window のハンドル番号を保持するファイル

• asirgui (Windows 版) を起動すると 環境変数 TEMP で指定されたフォルダにこのファイルが作成される.
• 中身は１０進整数で, asirgui の main window のハンドルである. このハンドルあてに PostMessage をすれば, asuirgui にキーボードから入力したのと同様な効果が得られる.
• text editor で作成, 保存したファイルを text editor 側から asirgui に読み込ませたりするために利用可能.
• http://www.math.kobe-u.ac.jp/Asir/Add-ons にて winfep.exe を配布している. winfep ではあらかじめファイルに入力スクリプトを書いておいて, asirgui で一行づつ実行させることができる. winfep はプレゼンテーション用のソフトウエアである. これは asirgui.hnd を利用している.

// cl test.c user32.lib

#include <windows.h>
#include <stdlib.h>
#include <stdio.h>
#include <process.h>

int main()
{

	HWND hnd;
	FILE *fp = fopen("c:/Program Files/asir/bin/asirgui.hnd","r");
	fscanf(fp,"%d",&hnd);
	fclose(fp);
	while (1) {
		int c;
		c = getchar();
		if ( c == '#' ) break;
		PostMessage(hnd,WM_CHAR,c,1);
	}
	return 0;
}

参照

@ref{xyz_abc}

ChangeLog

• この機能は 2006-12-5, 2007-02-13 に加えられた.
• OpenXM_contrib2/windows/asir32gui/asir32gui.clw 1.11
• OpenXM_contrib2/windows/asir32gui/asir32guiview.cpp 1.15, 1.1.6
• winfep は 2010-01-20 頃に第一版が commit された.
• OpenXM_contrib2/windows/winfep 1.1

2.4.3 chdir, pwd

chdir(directory)

pwd()

:: シェルコマンド cd と pwd に対応する操作.

return

文字列(pwd), 整数(chdir)

directory

文字列

• pwd はカレントディレクトリを文字列で返す.
• chdir はカレントディレクトリを directory に変更する. 成功すれば 0 を失敗すれば -1 を返す.

[0] S=pwd();
/home/ohara
[1] chdir(".../taka");
-1
[2] chdir("/usr/bin");
0

ChangeLog

• これらの関数は 2008-8-27 にコミットされた. 変更をうけたソースコードは builtin/miscf.c (1.27) である.

2.4.4 dcurrenttime

dcurrenttime()

:: 現在時刻を取得.

return

浮動小数点数

• 返り値は1970年1月1日0時0分0秒からの経過秒数である.

[0] ctrl("real_digit", 16);
16
[1] dcurrenttime();
1226390851.34476
[2] currenttime();
1226390854

参照

@ref{currenttime}

ChangeLog

• この関数は 2008-9-12 にコミットされた. 変更をうけたソースコードは builtin/time.c (1.6) である.

2.4.5 getpid

getpid()

return

整数

• asir のプロセス番号を戻す.
• プロセス番号は asir, ox_asir 等で独立したプロセスに対してシステム内で一意である.

[219] getpid();
3214

ChangeLog

• この関数は ox_work_dir() 関数が一意な作業ファイル名を得るために使われている. src/asir-contrib/packages/src/misc/rr 1.3, asir2000/builtin/file.c 1.28, rat.c 1.5, asir2000/parse/puref.c 1.9 を参照 (2013/02/15, 18).

2.4.6 loadpath

ctrl(“loadpath”[,list])

list

文字列(パス)のリスト

return

文字列(パス)のリスト, または数(listが与えられたとき)

• asir の組み込み関数 ctrl のスイッチのひとつである.
• asir のロードパスの出力または設定を行う.

[0] L=ctrl("loadpath");
[/home/you/OpenXM/lib/asir-contrib,/home/you/OpenXM/lib/asir,.]
[1] ctrl("loadpath", cons(getenv("HOME")+"/lib",L));
0

ChangeLog

• この関数は 2014-5-12 にコミットされた. 変更をうけたソースコードは builtin/ctrl.c (1.41) である.

2.4.7 sysinfo

sysinfo()

return

文字列のリスト

• asir の動作しているオペレーティングシステムの情報を返す.
• リストの各成分は, OSタイプ, カーネル名, OS名, CPUタイプ, OSバージョン, 完全な情報, ロケールである.
• OSタイプは unix, macosx, windows のいずれかである.
• unix および macosx においては, システムコールおよび uname コマンドにより情報を取得している. windows では, GetVersionEx() などの Win32 API が用いられている.

[0] sysinfo();
[windows,WindowsNT,Windows7,x86_64,6.1.7601,WindowsNT 6.1.7601 Windows7 Service Pack 1 x86_64,ja]

ChangeLog

• この関数は 2014-5-14 にコミットされた. 変更をうけたソースコードは builtin/ctrl.c (1.42) である.

この文書は3月 16, 2025にtexi2html 5.0を用いて生成されました。