Wm create workspace
Aller à la navigation
Aller à la recherche
| Fiche express | |
|---|---|
| Type | Script/commande SQL*Plus (Oracle Workspace Manager) |
| Voir aussi | Wm workspace · Wm goto workspace · Wm remove workspace |
Wm create workspace crée un nouveau workspace Workspace Manager, via DBMS_WM.CreateWorkspace. Le script liste d'abord tous les workspaces existants (en marquant le workspace courant de la session), demande le nom du nouveau workspace, puis le crée comme enfant du workspace courant (le workspace parent).
Le script ne bascule pas automatiquement la session vers le nouveau workspace : c'est une opération distincte, à faire avec Wm goto workspace.
Script
-- Crée un nouveau workspace, enfant du workspace courant de la session
SET LINESIZE 180
SET PAGESIZE 50000
SET VERIFY OFF
COLUMN current_workspace FORMAT a10 HEADING 'Current'
COLUMN owner FORMAT a20 HEADING 'Workspace Owner'
COLUMN workspace FORMAT a30 HEADING 'Workspace Name'
COLUMN createtime FORMAT a20 HEADING 'Create Time'
-- Tous les workspaces existants
SELECT
CASE WHEN dbms_wm.getworkspace = workspace THEN ' *' END AS current_workspace
, owner
, workspace
, TO_CHAR(createtime, 'DD-MON-YYYY HH24:MI:SS') createtime
FROM
dba_workspaces
ORDER BY
owner, workspace;
ACCEPT wm_new_workspace_name CHAR PROMPT 'Enter name for new workspace: '
BEGIN
dbms_wm.createworkspace('&wm_new_workspace_name');
END;
/
-- Vérification : le nouveau workspace apparaît dans la liste (mais n'est pas le workspace courant)
SELECT
CASE WHEN dbms_wm.getworkspace = workspace THEN ' *' END AS current_workspace
, owner
, workspace
, TO_CHAR(createtime, 'DD-MON-YYYY HH24:MI:SS') createtime
FROM
dba_workspaces
ORDER BY
owner, workspace;
Voir aussi
- Wm workspace — vue d'ensemble des workspaces et tables versionnées
- Wm goto workspace — basculer la session vers ce nouveau workspace
- Wm remove workspace — supprimer un workspace terminal devenu inutile