workspace_names.php

gistfile1.txt

<?php

/***********************************************************************/
/* Changes workspace names to dots.                                    */
/* Uses https://mail.xfce.org/pipermail/xfce/2009-December/026489.html */
/***********************************************************************/

$id = time();
file_put_contents("/home/james/.config/workspace_names_start_time", $id);

while(file_get_contents("/home/james/.config/workspace_names_start_time") == $id){
	$wmdata = strtolower(shell_exec("bspc control --get-status"));

	$wmdata = explode(":", $wmdata);
	print_r($wmdata);
	echo "\n\n";
	$output = "xfce-set-virtual-desktops";

	for($i = 1; $i < count($wmdata)-1; $i++){
		if(substr($wmdata[$i], 0, 1) == "o"){
			$output .= " ●";
			echo $wmdata[$i] . " will use closed circle\n\n";
		}

		if(substr($wmdata[$i], 0, 1) == "f"){
			$output .= " ○";
  	              echo $wmdata[$i] . " will use open circle\n\n";

		}
	}
	echo $output . "\n\n\n";

	echo shell_exec($output) . "\n\n\n";
}
?>