VirtualBox tips

ホストキーの変更

ここ最近、ホストキーの変更ができなくて困っていた。
ホストキー設定欄の表示を変えても、環境設定を終えたあと再度見てみると
元の戻っている。

旧UI （環境設定の入力タブで設定するのがホストキーのみ）
では問題なかったと思うが、新UI （以下）になってからできない。

自分のキーボードには右コントロールキーが無いため非常に困っていた。
ネットで調べた方法も有効ではなかった （そもそも、旧UI の記事しか見つからなかった）。

灯台もと暗し

答えは簡単、ホストキーを変更した直後にエンターキーを押してから
環境設定ダイアログの OKボタンを押すのだ。

自分は今まで、キー設定欄で任意のキーを押し、表示が変わったあとに
環境設定ダイアログの OKボタンを押していた。

Linux での共有フォルダ

VirtualBox で設定した共有フォルダがゲストの Linux 上で見つけられない。
ネットで調べると mount でコマンドを使っている。
その通りにやっても以下の様なエラーが出る。

間違ったファイルシステムタイプ、不正なオプション、
[フォルダ名] のスーパーブロックが不正、コードページまたは
ヘルパープログラムの未指定、或いは他のエラー
～以下略
  

答えはこちら

VirtualBox4.0から自動マウントの設定が追加されました。
～略～
Linuxでは/media下に"sf_"という接頭語を付けられ、自動的にマウントされます。
共有フォルダ名を「shared」としていたら、/media/sf_sharedにマウントされることになります。
http://vboxmania.net/content/%E5%85%B1%E6%9C%89%E3%83%95%E3%82%A9%E3%83%AB%E3%83%80%E8%A8%AD%E5%AE%9A